Merge branch 'learner' into 'dev'
Passed
René Schöne
created pipeline for commit
aa9bb283
, finished
1 related merge request: !4 Dev
3 minutes 11 seconds, queued for 3 seconds