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

Updated against type-protocols changes #5

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

coot
Copy link
Contributor

@coot coot commented May 5, 2022

@coot coot force-pushed the coot/type-protocols-rewrite branch 5 times, most recently from 13d9c7c to e5507dd Compare May 9, 2022 12:53
@coot coot force-pushed the coot/type-protocols-rewrite branch from e5507dd to 9a34173 Compare May 25, 2022 10:42
@coot coot self-assigned this Jun 22, 2022
@coot coot force-pushed the coot/type-protocols-rewrite branch from 9a34173 to 89a63bc Compare June 23, 2022 10:00
@coot coot force-pushed the coot/type-protocols-rewrite branch 2 times, most recently from 17f159c to a7b401a Compare August 17, 2022 15:02
@coot coot force-pushed the coot/type-protocols-rewrite branch from 97dfa09 to a7b401a Compare June 6, 2023 06:53
@coot coot force-pushed the coot/type-protocols-rewrite branch from a7b401a to 5d18339 Compare September 8, 2023 19:20
@coot coot force-pushed the coot/type-protocols-rewrite branch from 5d18339 to e40e684 Compare September 26, 2023 19:48
@coot coot force-pushed the coot/type-protocols-rewrite branch from e40e684 to 4058b3a Compare September 27, 2023 08:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: In Progress
Development

Successfully merging this pull request may close these issues.

1 participant