Commit b2858019 authored by Markus Scheidgen's avatar Markus Scheidgen

Merge branch 'v0.7.2' into 'master'

Release v0.7.2

See merge request !79
parents 13700c66 e42036af
Pipeline #68276 canceled with stages
in 18 seconds