On Friday, September 13, 2024, David G. Johnston <david.g.johns...@gmail.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.
