On 16.11.21 15:27, Daniel Gustafsson wrote:
>> On 16 Nov 2021, at 15:04, Daniel Gustafsson <daniel@yesql.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.