On 2020-12-09 19:23, Rémi Denis-Courmont wrote: > Le mercredi 9 décembre 2020, 18:33:48 EET Felix Paul Kühne a écrit : >> From: Felix Paul Kühne <felix at feepk.net> > > I'm sure Steve is itching to tell you that that's not necessary (though it > actually would be if someone were to git-am this email). Absolutely. -1