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

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

Description

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

Merged Changes

CommitAuthorDetailsCommitted
0ddfe9f3f385mlaurent
Don't use nullptr for flags 
Dec 3 2019
9a9c8b895367mlaurent
GIT_SILENT: Prepare 5.13.0 
Dec 1 2019
028ce36c840cmlaurent
GIT_SILENT: Prepare 5.13.0 
Nov 30 2019