Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This script is meant to run against many GAP versions, including older ones, which don't have ForceQuitGap. But all have FORCE_QUIT_GAP. So use that.
- Loading branch information