Merge branch 'Plasma/5.13'

Authored by apol on Aug 3 2018, 3:37 PM.

Description

Merge branch 'Plasma/5.13'

Merged Changes

CommitAuthorDetailsCommitted
d3d94ed6b1c5apol
Merge branch 'Plasma/5.12' into Plasma/5.13 
Aug 3 2018
e41df0e3b0b8apol
Fix navigation after search 
Aug 3 2018