Skip to content

Conversation

dimitribouniol
Copy link
Member

Cleaned up some vestigial type shenanigans.

@dimitribouniol dimitribouniol self-assigned this Jul 22, 2023
@dimitribouniol dimitribouniol enabled auto-merge (rebase) July 22, 2023 21:20
@dimitribouniol dimitribouniol merged commit a0d14d9 into main Jul 22, 2023
@dimitribouniol dimitribouniol deleted the dimitri/type-cleanup branch July 22, 2023 21:26
@dimitribouniol dimitribouniol restored the dimitri/type-cleanup branch February 17, 2024 16:04
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.

1 participant