On Tue, Apr 18, 2017 at 5:38 AM, Simon Riggs <si...@2ndquadrant.com> wrote:
> On 18 April 2017 at 13:12, Michael Paquier <michael.paqu...@gmail.com> > wrote: > > On Tue, Apr 18, 2017 at 7:54 PM, Simon Riggs <si...@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. Thanks, Jeff
