Skip to content

Fix missed rename, and improve types#276

Merged
ikreymer merged 2 commits intodev-2.0.0from emma/fix-rename-issuesJan 6, 2024