Merge branch 'Plasma/5.14'

Authored by jgrulich on Dec 17 2018, 3:27 PM.

Description

Merge branch 'Plasma/5.14'

Details

Merged Changes

CommitAuthorDetailsCommitted
cf11d51f2b7ajgrulich
Fix a wrong check in previous patch 
Dec 17 2018