Skip to content
This repository has been archived by the owner on Mar 14, 2023. It is now read-only.

Rename derive_next_unused next_unused #110

Closed
LLFourn opened this issue Dec 23, 2022 · 0 comments · Fixed by #116 or #117
Closed

Rename derive_next_unused next_unused #110

LLFourn opened this issue Dec 23, 2022 · 0 comments · Fixed by #116 or #117

Comments

@LLFourn
Copy link
Owner

LLFourn commented Dec 23, 2022

Since it doesn't always derive.

see #104 (comment)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
1 participant
@LLFourn