Merge remote-tracking branch 'origin/release/19.12'

Authored by dfaure on Nov 23 2019, 2:14 PM.

Description

Merge remote-tracking branch 'origin/release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
f0122038f949dfaure
GIT_SILENT remove unused include 
Nov 23 2019