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'

Details

Merged Changes

CommitAuthorDetailsCommitted
26e2c5d91e5fmlaurent
GIT_SILENT: port deprecated methods 
Nov 15 2019
ba0c1957fec0mlaurent
GIT_SILENT: Prepare 5.13.0beta1 
Nov 10 2019