Cleaning up before merge.
Passed
René Schöne
created pipeline for commit
40d1d484
, finished
1 related merge request: !3 Integration of Learner
3 minutes 22 seconds, queued for 2 seconds