Tobias C. Berner 9463f9e214 Update KDE Plasma Desktop to 5.20.3 ... Tuesday, 10 November 2020. Today KDE releases a bugfix update to KDE Plasma 5, versioned 5.20.3 Plasma 5.20 was released in October 2020 with many feature refinements and new modules to complete the desktop experience. This release adds a fortnight’s worth of new translations and fixes from KDE’s contributors. The bugfixes are typically small but important and include: * Plasma Disks: Actually erase devices. * Plasma Network Management: Do not show absurdedly high speeds on first update. * Fix missing “Switch User” button on lockscreen with systemd 246. Announcement: https://kde.org/announcements/plasma-5.20.3/		2020-11-11 17:16:48 +00:00
..
distinfo	Update KDE Plasma Desktop to 5.20.3	2020-11-11 17:16:48 +00:00
Makefile	Update KDE Plasma Desktop to 5.20.2	2020-10-27 17:46:56 +00:00
pkg-descr
pkg-plist	Update KDE Plasma Desktop to 5.20.3	2020-11-11 17:16:48 +00:00