Honza Horak <hhorak(at)redhat(dot)com> writes:
> Now I read more carefully that this issue was already mentioned by Tom in
> the original bug:
> https://bugzilla.redhat.com/show_bug.cgi?id=2023272#c7
> I was just confused not seeing the fix in the latest version... will try it.
Here's a quick rebase of that commit onto the v14 branch, in case it
helps.
regards, tom lane