On 2016, സെപ്റ്റംബർ 6 11:42:37 AM IST, Maximiliano Curia <maxy@debian.org> wrote: >Sorry, this is bug alright, it's annoying, but still, it's a bug, it >doesn't >merit a grave severity. > Alright. But isn't being able to choose a desktop environment a core functionality of a display manager?