Commit d7a4ae80 authored by Philipp Arras's avatar Philipp Arras
Browse files

Merge branch 'mr_small_corrections' into 'master'

small tweaks

See merge request !1
parents 69a7c1cd fdc98c53
Pipeline #35492 passed with stage
in 1 minute and 41 seconds