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. -- Simon Riggs http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
