KDE Plasma 5 version: 5.13.2

Release date: June 26, 2018