> On 18 Nov 2021, at 14:42, Daniel Gustafsson <daniel@yesql.se> wrote:
>
>> On 18 Nov 2021, at 14:41, Peter Eisentraut <peter.eisentraut@enterprisedb.com> wrote:
>>
>> 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.
>
> Thanks for confirming, I’ll take another pass over the proposed diff in a bit.
Polished a little and pushed to master with a backpatch to 14 where it was
introduced.
--
Daniel Gustafsson https://vmware.com/