Skip to content

Conversation

@dbatten5
Copy link
Owner

@dbatten5 dbatten5 commented Oct 2, 2025

This name clashes with a builtin python module of the same name so we
need to rename it

This clashes with a built-in `types` module so need to rename it.
@dbatten5 dbatten5 force-pushed the rename-types-module branch from 23ce1ce to 5789ecb Compare October 2, 2025 08:24
@dbatten5 dbatten5 merged commit 5a8e55d into main Oct 2, 2025
15 checks passed
@dbatten5 dbatten5 deleted the rename-types-module branch October 9, 2025 07:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants