Build #4174:   <a href="https://github.com/gap-system/gap/commit/e3425a4eb48d96075dab67c3b47789f1282cd... on branch mh/stable-4.10-GAPARCH over 4 years ago