@tsteur opened this Pull Request on February 13th 2016 Owner

fixes #9467

@sgiehl commented on March 2nd 2016 Member

Besides the note from @kaz231 LGTM

@tsteur commented on March 6th 2016 Owner

@sgiehl I removed it

@sgiehl commented on March 7th 2016 Member

@tsteur Looks good to merge. would you resolve the conflicts and merge afterwards?

@tsteur commented on March 7th 2016 Owner

I'll fix merge conflict and will merge afterwards

This Pull Request was closed on March 7th 2016
Powered by GitHub Issue Mirror