Merge remote-tracking branch 'origin/Applications/18.04'

Authored by mlaurent on Jun 14 2018, 5:06 AM.

Description

Merge remote-tracking branch 'origin/Applications/18.04'

Merged Changes

CommitAuthorDetailsCommitted
3f2d00d663e1D13401mlaurent
Apply patch from Robert Hoffmann 
Jun 14 2018
1d0eb7ee2d26mlaurent
GIT_SILENT: Prepare 5.8.3 
Jun 12 2018