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

Authored by mlaurent on Nov 12 2019, 7:53 AM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
f7b9800362d8mlaurent
Start to implement parsing 
Nov 12 2019
9531fd3d55efmlaurent
GIT_SILENT: coding style 
Nov 12 2019