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 Plasma-devel@kde.org https://mail.kde.org/mailman/listinfo/plasma-devel
