On Wed, Feb 15, 2017 at 2:08 AM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Mon, Feb 13, 2017 at 5:00 PM, Michael Paquier
> <michael.paquier@gmail.com> wrote:
>> It seems like the previous review I provided for the set of renaming
>> patches has been ignored:
>> https://www.postgresql.org/message-id/CAB7nPqSm=PNSe3EfvnEResdFzpQMcXXgapFBcF=EFdxVW4=fDQ@mail.gmail.com
>> Good that somebody else checked...
>
> Sorry about that, Michael. That was careless of me.
No problem. Thanks.
--
Michael