Merge branch 'Applications/19.08'

Authored by vkrause on Aug 16 2019, 7:09 PM.

Description

Merge branch 'Applications/19.08'

Merged Changes

CommitAuthorDetailsCommitted
28eab6322383D23204vkrause
Restore backward compatibility for the version header 
Aug 16 2019
e411d547e54dmlaurent
GIT_SILENT: Prepare 5.12.1 
Aug 16 2019