Bruno Haible Wed, 27 May 2020 11:40:10 -0700
> Here are proposed patches for other modules. Does this look right? There were no objections. I pushed the changes.
Bruno