> On 17 Aug 2022, at 23:24, Bruce Momjian <bruce@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 <bruce@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/