Merge branch '96-type-hints' into 'dev'
Passed
Mayr, Hannes
created pipeline for commit cb27fbe0
, finished
1 related merge request: !59 Version v0.2.3
3 minutes 43 seconds, queued for 33 seconds