On Fri, Nov 24, 2017 at 11:38 PM, Simon Riggs <si...@2ndquadrant.com> wrote: > On 23 November 2017 at 11:11, Michael Paquier <michael.paqu...@gmail.com> > wrote: > >> This is older than the bug report of this thread. All those >> indications point out that the patch has *not* been committed. So it >> seems to me that you perhaps committed it to your local repository, >> but forgot to push it to the remote. I am switching back the patch >> status to what looks correct to me "Ready for committer". Thanks. > > Yes, that looks like it's my mistake. Thanks for rechecking. > > Will commit and backpatch when I get home.
Ping. Simon, are you planning to look at this patch, and potentially commit it? I am moving this item to next CF for now. -- Michael