Skip to content
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.

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

Remove unused datatypes. #338

Merged
merged 2 commits into from
Oct 11, 2022
Merged

Remove unused datatypes. #338

merged 2 commits into from
Oct 11, 2022

Conversation

shorowit
Copy link
Contributor

Closes #320.

@shorowit shorowit self-assigned this Aug 18, 2022
@shorowit shorowit requested a review from nmerket August 18, 2022 23:33
@shorowit shorowit added this to the v4.0 milestone Sep 13, 2022
@shorowit
Copy link
Contributor Author

@nmerket Should probably double-check that these weren't intended to be used.

@shorowit shorowit added the merge label Sep 13, 2022
@nmerket nmerket merged commit 4c6fb40 into master Oct 11, 2022
@nmerket nmerket deleted the remove_unused_datatypes branch October 11, 2022 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove unused datatypes
2 participants