Merge branch 'dev/typos' into 'development'
Passed
Lemmer, Jan
created pipeline for commit
85ea29cd
, finished
1 related merge request: !43 Implements #73, cleans up example file,