On Mon, 2026-06-15 at 13:14 -0400, Tom Lane wrote:> Pushed with those changes.
Thanks for improving PostgreSQL!
Laurenz Albe