Closed fingolfin closed 5 years ago
Can be closed - incorporated in https://github.com/gap-packages/corelg/commit/981336c70f93bbdcb8de6999588c38b3980c2321
Can be closed - incorporated in https://github.com/gap-packages/corelg/commit/981336c70f93bbdcb8de6999588c38b3980c2321