On Wed, Mar 20, 2019 at 3:08 PM Tom Lane <[email protected]> wrote:
> And done.  Should be possible to revert 7d3bf73ac, if you wish.

Will do.

Thanks!
-- 
Peter Geoghegan

Reply via email to