On Thu, Jul 4, 2019 at 9:41 AM Manuel Rigger <rigger(dot)manuel(at)gmail(dot)com>
wrote:
> Thanks for the quick response! Do you know which commit fixed it?
>
https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=da1041fc3a2b65a6a36f1b8b91765a46e54e571e
David J.