On Sun, Apr 26, 2020 at 11:20:01PM +0200, Daniel Gustafsson wrote: > That was the preferred name by Michael too elsewhere in the thread, so went > ahead and made it so.
Thanks Daniel. >> I would, however, prefer to also rename the internal symbols. > > Done in the attached v2. What you have here looks fine to me. Peter, what do you think? -- Michael
signature.asc
Description: PGP signature
