Nov. 23, 2022
7:32 p.m.
On 11/23/22 20:19, Paul Eggert wrote:
On 2022-11-23 11:01, Alejandro Colomar wrote:
Would you mind moving it to the top of the file, as is common with these notices?
Sure, that's easy. Done by installing the attached.
Thanks :) -- <http://www.alejandro-colomar.es/>