"brian m. carlson" <sandals@xxxxxxxxxxxxxxxxxxxx> writes: > On 2025-08-25 at 22:46:26, Junio C Hamano wrote: >> Much better. Let's further do "This option" -> "This extension", as >> all the others described in this document call themselves as such. > > Great, I've just sent a v3 that does that. As there are two of them, I'll use my local fixup! instead ;-)
