On 2020-06-06 14:28:21 +1000, Mihai Preda wrote:
> I'm using libgmp-dev 6.1.2 on Ubuntu myself, but the bug report
> concerns an unspecified version of GMP on Windows. I have reasons to
> suspect the bug is valid for the most recent GMP. Clear cause analysis
> and proposed solution is included.
>
I'm using libgmp-dev 6.1.2 on Ubuntu myself, but the bug report
concerns an unspecified version of GMP on Windows. I have reasons to
suspect the bug is valid for the most recent GMP. Clear cause analysis
and proposed solution is included.
I'm not a Windows user myself. I develop an open-source