On Wed, Nov 22, 2023 at 10:19:57AM +0100, Laurenz Albe wrote: > On Tue, 2023-11-21 at 22:27 -0500, Bruce Momjian wrote: > > I like this six year old patch so would like to apply it to master, > > attached. > > +1, since it is arguably a bug fix.
Patch applied to master. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.
