> On 17 Aug 2022, at 23:24, Bruce Momjian <br...@momjian.us> wrote: > > On Wed, Aug 17, 2022 at 10:58:55PM +0200, Daniel Gustafsson wrote: >>> On 17 Aug 2022, at 22:56, Bruce Momjian <br...@momjian.us> wrote: >> >>> Is there a reason this patch was not applied? >> >> Only that it fell of my radar, if you think it's adding value I'm happy to >> get >> it done now. > > Sure, it looked useful to me too.
Done, thanks. -- Daniel Gustafsson https://vmware.com/
