On 18 April 2017 at 13:12, Michael Paquier <michael.paquier@gmail.com> wrote: > On Tue, Apr 18, 2017 at 7:54 PM, Simon Riggs <simon@2ndquadrant.com> wrote: >> Yeh, this is better. Pushed. > > I have been outraced on this one, the error is obvious once you see it ;)
Didn't realise you were working on it, nothing competitive about it.
It's clear this needed fixing, whether or not it fixes Jeff's report.
I do think it explains the report, so I'm hopeful.
The git HEAD code (c727f12) has been surviving so far, with both test cases.