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

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

Description

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

Details

Merged Changes

CommitAuthorDetailsCommitted
90a586324eaecgiboudeaux
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