Commit 9fd6f416 authored by Johannes Rothmayr's avatar Johannes Rothmayr 💬

Merge branch '19.07.4' into 'master'

Push to version 19.07.4

See merge request !6
parents 2f22464f cfab1f73
Pipeline #9263 passed with stages
in 93 minutes and 59 seconds