Processed: Re: Bug#703539: Upgrade fails with `/etc/grub.d/10_hurd: line 22: /usr/lib/grub/update-grub_lib: No such file or directory`

[Debian Bug Tracking System]

Processing control commands:

> severity -1 important
Bug #703539 [grub-pc] Upgrade fails with `/etc/grub.d/10_hurd: line 22: /usr/lib/grub/update-grub_lib: No such file or directory`
Severity set to 'important' from 'grave'

-- 
703539: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=703539
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems