Processing commands for control@bugs.debian.org: > retitle 187135 grub-installer: Fails to install grub Bug#187135: grub-installer: Fail if /boot/ is separate partition Changed Bug title. > severity 187135 grave Bug#187135: grub-installer: Fails to install grub Severity set to `grave'. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)