On Wed, Mar 20, 2019 at 3:08 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> And done. Should be possible to revert 7d3bf73ac, if you wish.
Will do.
Thanks!-- Peter Geoghegan