After updating to xserver-xorg-xmir 2:1.15.0-1ubuntu6 on Feb 13th the system reboots without problems. A whole set of mir packages went through at the same time; don't know if Daniel's fix was included, but something fixed my problem at least.
Thanks for the quick solution.
After updating to xserver-xorg-xmir 2:1.15.0-1ubuntu6 on Feb 13th the system reboots without problems. A whole set of mir packages went through at the same time; don't know if Daniel's fix was included, but something fixed my problem at least.
Thanks for the quick solution.