Merge branch 'Plasma/5.13'

Authored by broulik on Jun 7 2018, 2:26 PM.

Description

Merge branch 'Plasma/5.13'

Merged Changes

CommitAuthorDetailsCommitted
51dcf963e215bshah
Update version number for 5.13.0 GIT_SILENT 
Jun 7 2018
6d886e9f75d0D13336broulik
Check for option->styleObject before accessing it 
Jun 5 2018