On 07.08.24 09:34, Peter Eisentraut wrote:
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.
I have committed 0002 now.
