On Fri, Feb 03, 2017 at 03:50:36PM +0000, Daniel Shahaf wrote: > 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.
Ah, thanks. I missed those emails. It seems we agree on how to fix it. No harm done :)