On Wed, Mar 20, 2019 at 3:08 PM Tom Lane <t...@sss.pgh.pa.us> wrote:
> And done.  Should be possible to revert 7d3bf73ac, if you wish.

Will do.

Thanks!
-- 
Peter Geoghegan

Reply via email to