On 23 November 2017 at 11:11, Michael Paquier <michael.paquier@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.
--
Simon Riggs http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services