On Fri, Feb 2, 2018 at 6:11 AM, Robert Haas <[email protected]> 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