Commit 13700c66 authored by Markus Scheidgen's avatar Markus Scheidgen

Merge branch 'v0.7.2' into 'master'

V0.7.2

See merge request !75
parents c6c673b7 4bec888a
Pipeline #66749 passed with stages
in 27 minutes and 6 seconds