Closed ssiccha closed 3 years ago
See @fingolfin in https://github.com/gap-packages/recog/pull/202#discussion_r521673815
See @fingolfin in https://github.com/gap-packages/recog/pull/202#discussion_r521673815