Skip to content

Use 'perfect derives'#496

Merged
reaperhulk merged 1 commit intomainfrom
perfect-derives
Nov 17, 2024
Merged

Use 'perfect derives'#496
reaperhulk merged 1 commit intomainfrom
perfect-derives

Conversation

@alex
Copy link
Owner

@alex alex commented Nov 3, 2024

@alex alex force-pushed the perfect-derives branch 4 times, most recently from 783876e to 86b3b88 Compare November 3, 2024 14:39
@alex alex mentioned this pull request Nov 10, 2024
@reaperhulk reaperhulk merged commit 663d616 into main Nov 17, 2024
@reaperhulk reaperhulk deleted the perfect-derives branch November 17, 2024 14:52
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