Merge branch 'Plasma/5.13'

Authored by broulik on Aug 2 2018, 1:13 PM.

Description

Merge branch 'Plasma/5.13'

Merged Changes

CommitAuthorDetailsCommitted
2829367e2fbaD14556broulik
Use 1 instead of true for gtk-shell-shows-menubar 
Aug 2 2018
ac6fbf159e64jriddell
Update version number for 5.13.4 GIT_SILENT 
Jul 31 2018
57b376537b54l10n daemon script
SVN_SILENT made messages (.desktop file) - always resolve ours 
Jul 30 2018