Dominique Devienne <ddevienne@gmail.com> writes:
> Unfortunately, digging into this is not something I can do right away.
> v18 is still a few months out, I do hope I can investigate before that.
It'd be good if you could prioritize that a bit more. If there is
a bug rather than an intentional change here, we'd much rather
find it and fix it before 18.0 comes out.
regards, tom lane
