Merge branch 'dev/example' into 'development'
Passed
Lemmer, Jan
created pipeline for commit
57366050
, finished
1 related merge request: !43 Implements #73, cleans up example file,
1 minute 5 seconds, queued for 3 seconds