Merge branch 'Plasma/5.15'

Authored by davidedmundson on Jan 17 2019, 9:30 PM.

Description

Merge branch 'Plasma/5.15'

Merged Changes

CommitAuthorDetailsCommitted
6a6a432546bbD18314gepardo/davidedmundson
Cosmetic fixes for build_theme.sh 
Jan 17 2019