Desktop

Bionic plus Kubuntu-CI/unstable

This is just a temporary hiccup towards the end of November 2017 but for the last week, I have not been willing to reboot because