> On 18 Nov 2021, at 14:42, Daniel Gustafsson <[email protected]> wrote: > >> On 18 Nov 2021, at 14:41, Peter Eisentraut >> <[email protected]> wrote: >> >> On 16.11.21 15:27, Daniel Gustafsson wrote: >>>>> On 16 Nov 2021, at 15:04, Daniel Gustafsson <[email protected]> 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/
