On Tue, 4 Feb 2025, [email protected] wrote:

I did the same investigation to fix compiler explorer's nightly builds only to 
find that Sam already reported it (not clear why it failed for us only since 4 
days ago, not mid-november).

Hmm, I supposedly *fixed* it 5 days ago, with 8e7bb4ae7a18b1405ea7f9cbcda450b7d920a901.

--
Marc Glisse
_______________________________________________
gmp-bugs mailing list
[email protected]
https://gmplib.org/mailman/listinfo/gmp-bugs

Reply via email to