Replace List -> list#255

james-d-mitchell merged 4 commits into

libsemigroups:v1libsemigroups/libsemigroups_pybind11:v1from

james-d-mitchell:replace-List-with-listjames-d-mitchell/libsemigroups_pybind11:replace-List-with-listCopy head branch name to clipboard