New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename Dont* types #84

Open

glen-84 wants to merge 1 commit into benmccallum:main from glen-84:issue-82

glen-84 commented Jun 25, 2022

I'm not sure if the method of renaming/obsoleting is correct. Please let me know.

Closes #82.


          Rename Dont* types

6340b03

Author

glen-84 commented Mar 31, 2023

@benmccallum Are you still open to merging this, if I fix the conflicts?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet