On 05.08.24 19:53, Jacob Champion wrote:
> On Fri, Aug 2, 2024 at 11:48 AM Peter Eisentraut <peter@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.