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

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

Description

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

Details

Merged Changes

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