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

Authored by heikobecker on Nov 23 2019, 5:52 PM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
926af109b58fD25473heikobecker
Only build and install designer plugin if it's enabled 
Nov 22 2019
f1e948fb5200mlaurent
GIT_SILENT: Prepare 5.13.0beta1 
Nov 10 2019