Skip to content

Better type annotations#2981

Merged
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:fix_annot
Oct 17, 2025
Merged

Better type annotations#2981
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:fix_annot

Commits

Commits on Oct 16, 2025