Merge branch 'Plasma/5.17'

Authored by wbauer on Oct 28 2019, 8:08 AM.

Description

Merge branch 'Plasma/5.17'

Merged Changes

CommitAuthorDetailsCommitted
d7dbd84e96b8D24996wbauer
Create directory when saving the menu file 
Oct 28 2019
9560c2f0c99f jriddell
Update version number for 5.17.1 GIT_SILENT 
Oct 22 2019
c4377516bdce jriddell
Update version number for 5.17.0 GIT_SILENT 
Oct 10 2019