Bug#845997: mate-session-manager: should use alternatives priority 40 for /usr/bin/mate-session
sitting here in Oslo testing Debian Edu stretch, we noticed that an
installation with 'desktop=mate' ended up in a system with Plasma as
One reason seems to be the wrong priority for /usr/bin/mate-session
(value 30). Plasma is the winner in automatic mode cause
/usr/bin/startkde has the value 40.
So please use priority 40 to make automatic mode working correctly with