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
>> <peter(at)eisentraut(dot)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.