On Jun 3, 2025, at 15:10, David E. Wheeler <david@justatheory.com> wrote:
>> https://github.com/theory/postgres/pull/12
>
> Found a little more unnecessary code to remove. Updated patches attached.
And these should fix the CI failure. I also ran pgindent.
Best,
David