my apology, didn't notice 'Like the previous patch, back-patch to all supported branches.' in the comment.
And it seems to have been little bit late with report, so it wasn't included into the current minor update... am I right that next minor update will happen in February?
Thank you,
Dmitry
> On Nov 19, 2019, at 9:47 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> I back-patched it, see
>
> https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=bf2efc55da9a1a33da32fa383db9db2f2c49b2cb