Merge branch 'Plasma/5.13'

Authored by hein on Aug 1 2018, 10:45 AM.

Description

Merge branch 'Plasma/5.13'

Merged Changes

CommitAuthorDetailsCommitted
8da5276a06d0hein
Merge branch 'Plasma/5.12' into Plasma/5.13 
Aug 1 2018
1cb71a2cca8aD14243hein
Fix bad model hygiene in Positioner::move() 
Aug 1 2018
a8283534c03fjriddell
Update version number for 5.13.4 GIT_SILENT 
Jul 31 2018
6efda7197e73l10n daemon script
GIT_SILENT made messages (after extraction) 
Jul 30 2018
74424c6e81c5l10n daemon script
GIT_SILENT made messages (after extraction) 
Jul 22 2018
748de9b80bb7l10n daemon script
GIT_SILENT made messages (after extraction) 
Jul 21 2018