Skip to content

Pinning versions of dependent types #2442

wolfy1339 started this conversation in Thanks
Apr 26, 2023 · 0 comment · 1 reply
Discussion options

You must be logged in to vote

Replies: 0 comments 1 reply

This discussion is being transferred. The timeline may not be complete until it finishes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Thanks
Labels
None yet
1 participant