Skip to content

Conversation

@johnkerl
Copy link
Owner

@johnkerl johnkerl commented Mar 5, 2025

For #1764

@johnkerl johnkerl marked this pull request as ready for review March 5, 2025 13:19
@johnkerl johnkerl merged commit 9963df4 into main Mar 5, 2025
6 checks passed
@johnkerl johnkerl deleted the kerl/generics branch March 5, 2025 13:19
@johnkerl johnkerl changed the title Switch to generics Switch to generics (one PR of several) Jun 13, 2025
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