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

Authored by mlaurent on Jan 18 2020, 7:25 AM.

Description

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

Details

Committed
mlaurentJan 18 2020, 7:25 AM
Parents
R207:83ab5326a3d6: Add more debug info
R207:9c83a07a19eb: GIT_SILENT: Time to increase version
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
83ab5326a3d6mlaurent
Add more debug info 
Jan 18 2020
d687aea975c8mlaurent
GIT_SILENT: Prepare 5.13.2 
Jan 15 2020
312f3f5d83bfmlaurent
GIT_SILENT: Prepare 5.13.2 
Jan 9 2020
d46d873f3546mlaurent
GIT_SILENT: Prepare 5.13.1 
Dec 29 2019
7eb8f665a858mlaurent
GIT_SILENT: Prepare 5.13.1 
Dec 17 2019
d9284aa8d817mlaurent
GIT_SILENT: Prepare 5.13.0 
Dec 1 2019
f093a52f916emlaurent
GIT_SILENT: Prepare 5.13.0 
Nov 30 2019