If you have a Github account, you can make one. This will require you to fork this project to your own user first, Do/commit the changes there and create a new pull request from the master branch of ...

Updates are probably required to smlib for 1.10 compatibility, but I haven't investigated. to join this conversation on GitHub. Already have an account? Assignees No one assigned Labels user help ...