Skip to content

use latest frozendict #6

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

Merged

Conversation

juliusfrost
Copy link
Collaborator

No description provided.

@nielstron
Copy link

@juliusfrost I added you as a collaborator to this repo so you should be able to push and merge yourself - let me know if it doesn't work

@nielstron nielstron merged commit ddb6b93 into OpShin:fix/freeze_dict_keys Apr 29, 2023
@juliusfrost juliusfrost deleted the fix/freeze_dict_keys branch April 29, 2023 22:22
@juliusfrost juliusfrost restored the fix/freeze_dict_keys branch May 3, 2023 02:09
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