On Fri, May 17, 2019 at 06:37:22PM -0700, Peter Geoghegan wrote:
> On Fri, May 17, 2019 at 6:36 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> Will do so tomorrow. Should we back-patch this?
>
> I wouldn't, because I see no reason to. Somebody else might.
FWIW, I see no reason either for a back-patch.
--
Michael