On Thu, Aug 24, 2023 at 4:47 PM Michael Paquier <mich...@paquier.xyz> wrote:
> > patch attached.
>
> Yeah, it looks like you're right here.  Will do something about that.
This is a known issue. It has been discussed before.

I am in favor of fixing the problem. I don't quite recall what it was
that made the discussion stall last time around.

-- 
Peter Geoghegan


Reply via email to