hpcombi: resolve #374#375

james-d-mitchell merged 1 commit intolibsemigroups:stable-1.2libsemigroups/libsemigroups_pybind11:stable-1.2from

james-d-mitchell:fix-issue-374james-d-mitchell/libsemigroups_pybind11:fix-issue-374Copy head branch name to clipboard