DO NOT MERGE: experiment with setup-gap fix#1153

fingolfin wants to merge 1 commit intosemigroups:mainsemigroups/Semigroups:mainfrom

fingolfin:mh/test-setup-gapfingolfin/Semigroups:mh/test-setup-gapCopy head branch name to clipboard