Skip to content

Fix orderdict, improve types#1304

Merged
Yobmod merged 8 commits into
mainfrom
types2
Jul 31, 2021
Merged

Fix orderdict, improve types#1304
Yobmod merged 8 commits into
mainfrom
types2

Conversation

@Yobmod

@Yobmod Yobmod commented Jul 31, 2021

Copy link
Copy Markdown
Contributor

split # 1301,
merge while CI working

@Yobmod Yobmod changed the title Update types in object.util.py Test Github Actions working Jul 31, 2021
@Yobmod Yobmod changed the title Test Github Actions working Fix orderdict, improve types Jul 31, 2021
@Yobmod
Yobmod merged commit 37fa31d into main Jul 31, 2021
@Yobmod
Yobmod deleted the types2 branch July 31, 2021 12:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant