Release candidate for v5.6.2#1172

james-d-mitchell wants to merge 3 commits into

stable-5.6semigroups/Semigroups:stable-5.6from

rc-v5.6.2semigroups/Semigroups:rc-v5.6.2Copy head branch name to clipboard