Is this a known problem? Is it related to http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689722, which is supposed to have been resolved?
Is there a workaround so that I can boot my machine? Or a version of the installer that does not lead to this problem? Or a way of using the installer? Is more information needed? If so, what? I will help if I can. John -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org