On Mon, Feb 26, 2024 at 02:47:27PM +0100, Tomas Vondra wrote:
> Should this be marked as committed, or is there some remaining part?
Thanks. I've missed the existence of [1]. It is now marked as
committed.
[1]: https://commitfest.postgresql.org/47/4822/
--
Michael