Slim public API; remove properties#354
Merged
jsmariegaard merged 11 commits intomainfrom Dec 20, 2023
Merged
Commits
Commits on Dec 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
