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

Authored by dfaure on Dec 6 2019, 7:54 AM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
eb11922c2a03dfaure
Record mklapetek's reply. Thanks! 
Dec 6 2019