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

Authored by mlaurent on Nov 11 2019, 2:35 PM.

Description

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

Details

Committed
mlaurentNov 11 2019, 2:35 PM
Parents
R94:e6c8f57f6963: Store more settings
R94:04603d97e475: GIT_SILENT: Master is opened now.
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
e6c8f57f6963mlaurent
Store more settings 
Nov 11 2019
54bdb13438ffmlaurent
Add more info 
Nov 11 2019