Am Do., 29. Aug. 2024 um 10:27 Uhr schrieb Bruno Haible <br...@clisp.org>:
> Marc Nieper-Wißkirchen wrote: > > Shouldn't get the new module libgmp-mpz an entry in MODULES.html.sh? > > Yes, feel free to add it. I tend to update this file only occasionally. > I followed your suggestions and sent the updated patches to the mailing list. Are you fine with me pushing them onto the repo? Thanks, Marc PS I didn't touch the NEWS file because I didn't find a suitable category. Please update the NEWS file at some point in the future if you find it important to mention the slight addition to the libgmp module.