odeda added a comment.
Thanks for the notes. I've followed the instructions in https://community.kde.org/Infrastructure/Github_Mirror , though I didn't follow the link to the Phabricator page you referred to - it might have been a good idea to stress the importance of reading that page a bit more :-) REPOSITORY R120 Plasma Workspace REVISION DETAIL https://phabricator.kde.org/D12777 To: odeda, #plasma_workspaces Cc: ngraham, plasma-devel, ragreen, Pitel, ZrenBot, lesliezhai, ali-mohamed, jensreuterberg, abetts, sebas, apol, mart