Control: tag -1 - moreinfo Hi Paul, On Fri, 02 Apr 2021 at 22:33:05 +0200, Paul Gevers wrote: > I'm not overly enthusiastic about the size of the diff, but indeed this > seems like something we'd want. > > Please go ahead and remove the moreinfo tag once the upload has happened. Done, many thanks and apologies for the extra work! (And also sorry carnil for typoing your name in msg#10.) Cheers -- Guilhem.
Attachment:
signature.asc
Description: PGP signature