Merge branch 'Plasma/5.13'

Authored by apol on Aug 2 2018, 5:56 PM.

Description

Merge branch 'Plasma/5.13'

Merged Changes

CommitAuthorDetailsCommitted
529a7023764fapol
Merge branch 'Plasma/5.12' into Plasma/5.13 
Aug 2 2018
310685b3db21apol
Remove wrong assert 
Aug 2 2018
cfb0e77003a3l10n daemon script
GIT_SILENT made messages (after extraction) 
Aug 1 2018
31195558bac7l10n daemon script
GIT_SILENT made messages (after extraction) 
Aug 1 2018
5c28c345b140jriddell
Update version number for 5.13.4 GIT_SILENT 
Jul 31 2018