> On 18 Nov 2021, at 14:41, Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:
>
> On 16.11.21 15:27, Daniel Gustafsson wrote:
>>>> On 16 Nov 2021, at 15:04, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>>> ..or should the attached small diff be applied to fix it?
>> Actually it shouldn't, I realized when hitting Send that it was the wrong
>> version. The attached is the proposed diff.
>
> This appears to have been an oversight.
Thanks for confirming, I’ll take another pass over the proposed diff in a bit.