On Fri, Mar 22, 2019 at 10:38 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> So that means that the de-revert is probably the best option for> now. Will you do the honors?
I'll take care of that shortly.
Thanks-- Peter Geoghegan