On Thu, Jun 4, 2026 at 10:45 PM Michael Paquier <michael@paquier.xyz> wrote:

That's nice for such a simple change. That seems correct to me.
Could you add that to the next commit fest please at [1]?

Thanks for the review.
Added to the commitfest: https://commitfest.postgresql.org/patch/6851/