Dear all,
On 2019-03-18 23:00, Tom Lane wrote:
> I wrote:
>> Yup; the attached fixes it. Will push after a bit more testing.
>
> Done now, but I forgot to credit Jeff in the commit message.
> My apologies for that (too bad it's impossible to edit commit
> messages after the fact).
thanks a lot for your replies and the quick fix, I also re-tested it
just now (compiling from the current 11 branch) and could not reproduce
my memory issue anymore.
Thanks again, best regards
Matthias Otterbach