> On 18 Nov 2021, at 14:42, Daniel Gustafsson <dan...@yesql.se> wrote: > >> On 18 Nov 2021, at 14:41, Peter Eisentraut >> <peter.eisentr...@enterprisedb.com> wrote: >> >> On 16.11.21 15:27, Daniel Gustafsson wrote: >>>>> On 16 Nov 2021, at 15:04, Daniel Gustafsson <dan...@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/
