Thanks again!
Best,
Manuel
On Thu, Jul 4, 2019 at 7:07 PM David G. Johnston
<david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
>
> 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.
>