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

Authored by mlaurent on Dec 3 2019, 7:55 AM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
db7a7e6d68afmlaurent
Fix use flag 
Dec 3 2019
261b5a5e01ffmlaurent
GIT_SILENT: Prepare 5.13.0 
Dec 1 2019
b219f2442cb4mlaurent
GIT_SILENT: Prepare 5.13.0 
Nov 30 2019