Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
switch off GAP's info messages late enough
Switch off info messages *after* (installing and) loading GAP packages, since packages may define new info classes which have by default a nonzero info level. (This happens for the Recog package.)
- Loading branch information