On Thu, Oct 17, 2019 at 04:58:19AM +0200, pelzflorian (Florian Pelz) wrote: > On Wed, Oct 16, 2019 at 11:39:37PM +0200, Ludovic Courtès wrote: > > I committed this with minor changes (removed “sudo”, etc.), but the > > translation corresponds to the first version of the entry. Please feel > > free to commit changes directly to update it! > > > > Oh no, it seems my message did not get through. I should not have > sent it off-list, how stupid of me. >
Will commit now.
