Commit d4e09100 authored Nov 28, 2019 by Oliver Falk

Merge branch 'devel' into 'master'

Fix Markdown

See merge request !158