On Jun 4, 2025, at 11:27, David E. Wheeler <david@justatheory.com> wrote:
> And these should fix the CI failure. I also ran pgindent.
Here’s a quick rebase. I think it’s ready for committer review, but since I’ve poked at it quite a bit myself, I
updatedthe Commitfest item [1] to “Needs Review”.
Best,
David
[1]: https://commitfest.postgresql.org/patch/5270/