Processing commands for cont...@bugs.debian.org: > merge 601087 601090 Bug#601087: grub-pc: update-grub generates wrong grub.cfg file when /boot is a separate partition Bug#601090: grub-pc: grub-update generates wrong grub.cfg when /boot/ is on a separate partition Merged 601087 601090.
> thanks Stopping processing here. Please contact me if you need assistance. -- 601090: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=601090 601087: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=601087 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org