Marco Bodrato Thu, 21 Oct 2021 10:30:14 -0700
Ciao! There is a patch from upstream related to this issue.
https://gmplib.org/repo/gmp-6.2/rev/561a9c25298e Ĝis, m