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

Authored by krop on Nov 15 2019, 11:01 AM.

Description

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

Details

Committed
kropNov 15 2019, 11:01 AM
Parents
R208:90a586324eae: Fix a warning string.
R208:7085fcb3c3d2: GIT_SILENT made messages (after extraction)
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
90a586324eaekrop
Fix a warning string. 
Nov 15 2019
c718e174c3aal10n daemon script
GIT_SILENT made messages (after extraction) 
Nov 14 2019
67f904d67d97mlaurent
GIT_SILENT: Prepare 5.13.0beta1 
Nov 10 2019