If nobody complains about the change, tomorrow morning I will merge terietor/tools into master and I will git rm kde-workspace/plasma/generic/tools
-- Giorgos Tsiapaliokas (terietor) KDE Developer terietor.gr
_______________________________________________ Plasma-devel mailing list [email protected] https://mail.kde.org/mailman/listinfo/plasma-devel
