Commit a3112832 authored by Willi Rath's avatar Willi Rath

Merge branch 'develop' into 'master'

Develop

See merge request !92
parents b597001d af989196
Pipeline #1290 passed with stage
in 2 minutes and 1 second