severity 601093 grave thanks I agree with Erich: this bug should have Grave severity.
Separate partition for /boot is a very common setup, not to mention that it is required if you want to boot from encrypted root partition. I believe breaking all such setups fits the "makes the package in question unusable or mostly so". -- Dmitry Borodaenko -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org