On Nov 5, 2025, at 23:46, Peter Eisentraut <peter@eisentraut.org> wrote:
I committed the patches 0001 and 0002 (from v59).
I just noticed 0001 and 0002 have been pushed, and my comments 3&4 on 0002 had been fixed in the pushed version.So, I created a patch to fix the typo of my comment 1. As the fix is really trivial, I am fine either merging it or leaving it to Paul for next updates.