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