On Friday, September 13, 2024, David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com>
wrote:
>
> Link to PR on GitHub: https://github.com/hilltracer/postgres/pull/3
>>
>
> You apparently missed the note on GitHub that says we don’t work with pull
> requests. Patches are to be submitted directly to the mailing list.
>
Sorry, I see now that you did both - that makes sense.
David J.