On 05.08.24 19:53, Jacob Champion wrote:
On Fri, Aug 2, 2024 at 11:48 AM Peter Eisentraut <pe...@eisentraut.org> wrote:Yes, I think with an adjusted comment and commit message, the actual change makes sense.Done in v25. ...along with a bunch of other stuff:
I have committed 0001, and I plan to backpatch it once the release freeze lifts.
I'll work on 0002 next.
