Commit 5378d4da authored by Benjamin Engel's avatar Benjamin Engel
Browse files

Merge branch 'slightly_reducing_committment' into 'master'

Slightly reducing Bernhard's committment

See merge request !6
parents 84383a77 bd6b6f1d
Pipeline #988 passed with stage
in 14 seconds