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

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

Description

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

Details

Merged Changes

CommitAuthorDetailsCommitted
5c01a4e3fb90mlaurent
GIT_SILENT: port deprecated methods 
Nov 15 2019
8d9db014551emlaurent
GIT_SILENT: Prepare 5.13.0beta1 
Nov 10 2019