On Fri, Feb 2, 2018 at 6:11 AM, Robert Haas <robertmh...@gmail.com> wrote:
>> Fair enough, you can proceed with the patch.
>
> Committed.  Now, on to the main event!

Thank you both.

-- 
Peter Geoghegan

Reply via email to