fingolfin
commented
5 years ago - take advantage of improvements in build system of GAP >= 4.9
- drop CONFIGNAME support
- make it possible to compile against future GAP releases with compatibility mode turned off