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

Authored by mlaurent on Wed, Nov 13, 5:56 AM.

Description

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

Details

Committed
mlaurentWed, Nov 13, 5:56 AM
Parents
R91:c3ec7837f179: Use non-deprecated header
R91:882fcf5deebe: GIT_SILENT: Master is opened now.
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
c3ec7837f179vkrause
Use non-deprecated header 
Nov 12
e1357ae39ebamlaurent
GIT_SILENT: Prepare 5.13.0beta1 
Nov 10