Processed: tagging

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 393079 grub: "default saved" is broken by the new patch
Bug#393079: update-grub: savedefault can cause problems
Changed Bug title to `grub: "default saved" is broken by the new patch' from `update-grub: savedefault can cause problems'.

> severity 393079 important
Bug#393079: grub: "default saved" is broken by the new patch
Bug#462701: grub: savedefault menu.lst option results in unbootable system
Severity set to `important' from `critical'

> tags 393079 - patch
Bug#393079: grub: "default saved" is broken by the new patch
Tags were: patch
Bug#462701: grub: savedefault menu.lst option results in unbootable system
Tags removed: patch

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)