Merge branch 'Plasma/5.17'

Authored by jgrulich on Dec 12 2019, 2:45 PM.

Description

Merge branch 'Plasma/5.17'

Merged Changes

CommitAuthorDetailsCommitted
6f4c4f350315jgrulich
Print portal: xdg-desktop-portal assumes the pages to be used as indexes 
Dec 12 2019
40d06c39c0c3jriddell
Update version number for 5.17.4 GIT_SILENT 
Dec 3 2019