On 1 December 2017 at 02:50, Michael Paquier <michael.paqu...@gmail.com> wrote: > 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.
Applied, thanks. -- Simon Riggs http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
