Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 983435 upgrade or grub-install breaks system if udev is not installed
Bug #983435 [grub-efi-amd64] upgrade or grub-install breaks system if udev is
Changed Bug title to 'upgrade or grub-install breaks system if udev is not installed' from 'upgrade or grub-install breaks system if udev is'.
> stop
Stopping processing here.

Please contact me if you need assistance.
-- 
983435: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=983435
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems