Processed: Re: error 17 source

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 581594 grub: doesn't show boot menu, "error 17"
Bug #581594 [grub] error 17 source
Changed Bug title to 'grub: doesn't show boot menu, "error 17"' from 'error 17 source'
> severity 581594 important
Bug #581594 [grub] grub: doesn't show boot menu, "error 17"
Severity set to 'important' from 'critical'

> tags 581594 + upstream
Bug #581594 [grub] grub: doesn't show boot menu, "error 17"
Added tag(s) upstream.
> quit
Stopping processing here.

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