Merge branch 'Plasma/5.15'

Authored by davidedmundson on Feb 15 2019, 1:15 PM.

Description

Merge branch 'Plasma/5.15'

Merged Changes

CommitAuthorDetailsCommitted
b8a44a4cc87aD19024davidedmundson
Exclude powerdevil from session management 
Feb 15 2019
f9dda0cc1bfdjriddell
Update version number for 5.15.0 GIT_SILENT 
Feb 7 2019