Update to Plasma 5.12.5

Authored by vkrause on Jun 8 2018, 3:26 PM.

Description

Update to Plasma 5.12.5

Details

Committed
vkrauseJun 8 2018, 3:26 PM
Parents
R869:8d167f65636d: Update to Plasma 5.12.4
Branches
Unknown
Tags
Unknown