Merge branch 'Plasma/5.17'

Authored by ngraham on Oct 18 2019, 9:06 PM.

Description

Merge branch 'Plasma/5.17'

Merged Changes

CommitAuthorDetailsCommitted
d9db05ddef96D24766ngraham
Revert change to make the notification persistent 
Oct 18 2019
a3f71afe2fc4jriddell
Update version number for 5.17.0 GIT_SILENT 
Oct 10 2019
234f063d9985apol
updates: improve cancellability calculation 
Oct 9 2019