On Nov 5, 2025, at 23:46, Peter Eisentraut <peter(at)eisentraut(dot)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.
Best regards,
--
Chao Li (Evan)
HighGo Software Co., Ltd.
https://www.highgo.com/