On Mon, Sep 2, 2024 at 11:40 AM Hans Åberg <haberg-1 at telia.com> wrote: See > https://gmplib.org/list-archives/gmp-bugs/2024-June/005505.html Aww, bummer. Thanks! :)