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

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

Description

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

Details

Merged Changes

CommitAuthorDetailsCommitted
c636a17b530fmlaurent
Add autotest 
Nov 12 2019
86b65870311bmlaurent
Add more regexp 
Nov 12 2019
76f5aaae1c73mlaurent
implement parser 
Nov 12 2019
5ab1cac7d9f7mlaurent
Add more warning 
Nov 12 2019