Skip to content

Change smtypes and solomachinetypes alias to solomachine#2743

Merged
chatton merged 3 commits intomainfrom cian/issue#1880-change-smtypes-and-solomachinetypes-alias-to-solomachineNov 14, 2022