Stefan Sperling wrote on Fri, Feb 03, 2017 at 09:52:24 +0100: > Thank Steven! > Providing a dump file which triggered the problem helped a lot.
I think we've had a miscommunication here. Brian Colavito reported this problem two weeks ago and I confirmed/reproduced it then. I'm entirely not sure why nobody fixed it until it was independently reported a second time.
