On Fri, Nov 15, 2024 at 01:22:21PM +0100, Alvaro Herrera wrote: > Oh wow, thanks for noticing that. I had already rewritten the commit > message to some extent, but "master" had remained. Now I pushed the > patch to branches 14+, having replaced it as you suggested.
Thanks for taking care of this thread, Alvaro. -- Michael
signature.asc
Description: PGP signature
