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

Authored by mlaurent on Nov 15 2019, 12:34 PM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
4a13bd5030admlaurent
GIT_SILENT: port deprecated methods 
Nov 15 2019