Merge branch 'release/20.04'

Authored by kossebau on Mar 27 2020, 10:11 AM.

Description

Merge branch 'release/20.04'

Merged Changes

CommitAuthorDetailsCommitted
ef7b6e5c3531kossebau
Fix build against recent KIO (and use better flag) 
Mar 27 2020