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

Authored by dfaure on Dec 1 2019, 2:47 PM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
6256dde4aa53dfaure
Fix compilation with older poppler 
Dec 1 2019