Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
(If GAP is started without packages then something is missing. This change is just a workaround, one can still run into problems.)
- Loading branch information