Updated types; #19

Merged
FrauJulian merged 4 commits from fraujulian into master 2025-10-10 16:30:25 +00:00
4 Commits