On 1 December 2017 at 02:50, Michael Paquier <michael.paquier@gmail.com> wrote:
> On Fri, Nov 24, 2017 at 11:38 PM, Simon Riggs <simon@2ndquadrant.com> wrote:
>> 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.
>
> 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