Skip to content

Support pytools.tag in persistent_dict#63

Merged
inducer merged 2 commits into
masterfrom
persistent-dict-support-tag
Mar 8, 2021
Merged

Support pytools.tag in persistent_dict#63
inducer merged 2 commits into
masterfrom
persistent-dict-support-tag

Conversation

@inducer
Copy link
Copy Markdown
Owner

@inducer inducer commented Mar 8, 2021

@inducer inducer merged commit 1546ee3 into master Mar 8, 2021
@inducer inducer deleted the persistent-dict-support-tag branch March 8, 2021 00:34
@inducer inducer mentioned this pull request Mar 8, 2021
3 tasks
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.

1 participant