Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The only user visible change is that now instead of "GAP was compiled without GMP" we print the less ambiguous message "GAP was compiled without its own GMP"
- Loading branch information