Commit 7c4d4e91 authored by Carsten  Rose's avatar Carsten Rose

Merge branch 'develop' into 'master'

New version 20.4.1

See merge request !266
parents 71d74e36 cafb3a60
Pipeline #3469 passed with stages
in 3 minutes and 30 seconds