Processed: tagging 825292, bug 825292 is forwarded to https://savannah.gnu.org/bugs/?48068

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 825292 + upstream
Bug #825292 [grub-common] grub-common: does not provide the correct device name for booting the Hurd.
Added tag(s) upstream.
> forwarded 825292 https://savannah.gnu.org/bugs/?48068
Bug #825292 [grub-common] grub-common: does not provide the correct device name for booting the Hurd.
Set Bug forwarded-to-address to 'https://savannah.gnu.org/bugs/?48068'.
> thanks
Stopping processing here.

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