Closed neil-da closed 4 years ago
The PR #195 is essential for our project as we don't use GMP - any chance of making a release that includes it? At the moment we're pulling directly from GitHub.
Lets try and get #200 #203 and #204 passing CI and merged. Excellent time for a release.
This is now done, thanks to Ben.
(See #215)
The PR #195 is essential for our project as we don't use GMP - any chance of making a release that includes it? At the moment we're pulling directly from GitHub.