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

Authored by cgiboudeaux on Jan 13 2020, 2:57 PM.

Description

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

Details

Committed
cgiboudeauxJan 13 2020, 2:57 PM
Parents
R156:5952bf25358b: Remove the extra comma
R156:2cd0e36d2722: Merge branch 'release/19.12'
Branches
Unknown
Tags
Unknown
References
HEAD -> master

Merged Changes

CommitAuthorDetailsCommitted
5952bf25358bcgiboudeaux
Remove the extra comma 
Jan 13