Closed ThomasBreuer closed 7 years ago
This is fixed in #1390 by @hulpke
Maybe we need to backport that fix (https://github.com/gap-system/gap/pull/1390/commits/29e1286687e856882af6f020886a5c58334f5fe1)?
@ThomasBreuer thank you for reporting this - I've backported the fix from the master branch in https://github.com/gap-system/gap/pull/1566 so this will be fixed in GAP 4.8.8 coming shortly.
The following happens in GAP 4.8.7 as well as in the current master branch, without packages.