
<html dir="ltr"><head></head><body style="text-align:left; direction:ltr;" bgcolor="#ffffff" text="#2e3436" link="#737373" vlink="#2e3436"><div>We had 5 computer affected by this problem. Every one of them booted normally into the Gnome shell (one took two tries) after a full-upgrade.</div><div><br></div><div>So as far as I can tell, this problem is solved.</div><div><br></div><div>Thanks for the hard work. One day after I submitted the report is pretty good, even if the changes were made to fix a different bug.</div><div><br></div><div>Regards,</div><div>William</div></body></html>