Merge remote-tracking branch 'remotes/huth-gitlab/tags/pull-request-2020-07-13' into...