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.

2 participants