On Mon, Sep 02, 2019 at 07:54:16AM +0200, Peter Eisentraut wrote:
> Is this code new in PG12? Doesn't look like it to me.
Well, 12 has not been released yet, which is the point I am trying to
make. The code was introduced in 10, and as the fix is trivial it
seems to me that it could be back-patched. For example even recently
you back-patched f02bd63 in the same category. If you don't think
that's worth it, that's fine for me as well.
--
Michael