chore: some typing and default removal#1852
Merged
MarcoGorelli merged 11 commits intomainfrom chore/experimental-typingJan 22, 2025
+1,298-1,138
Commits
Commits on Jan 22, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed