Plasma 5.13.1

[Jonathan Riddell]

Plasma 5.13.1 sources are out now with a week's worth of bugfixes

https://www.kde.org/announcements/plasma-5.13.1.php