Processing commands for control@bugs.debian.org: > retitle 260391 grub-doc: Invalid references to grub-set-default Bug#260391: grub-set-default executable is missing Changed Bug title. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)