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@sss.pgh.pa.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