Commit e55d7727 authored by Kaspar Vollenweider's avatar Kaspar Vollenweider

Merge branch 'fix/several_small_text_and_other_changes' into 'develop'

Fix/several small text and other changes

See merge request !939
parents 1c8dae78 7bcba03b
Pipeline #40125 passed with stage
in 37 minutes and 54 seconds