@tsteur opened this Pull Request on July 5th 2016 Owner

Please only merge if tests succeed. Otherwise feel free to close issue as I won't be working on it soon otherwise.
refs #9840

@mattab commented on July 8th 2016 Owner

@tsteur the build passes and this PR does look OK. It does not fix #9840 though, as I still get the same error

@mattab commented on July 8th 2016 Owner

it's been merged but @tsteur maybe have a look at it looks like you thought it would fix the bug

This Pull Request was closed on July 8th 2016
Powered by GitHub Issue Mirror