Commit b1e24a0a authored by jfriedli's avatar jfriedli
Browse files

Merge branch 'develop' into 'master'

Prepare 1.3

See merge request !130
parents accaf649 42480b54
Pipeline #31528 passed with stages
in 53 minutes and 42 seconds