Processed: Re: Bug#424223: grub-pc: update-grub should avoid dpkg backup files

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 424223 grub2
Bug#424223: grub-pc: update-grub should avoid dpkg backup files
Bug reassigned from package `grub-pc' to `grub2'.

> merge 422708 424223
Bug#422708: update-grub should exclude /boot/vmlinuz-*.dpkg-tmp and similar
Bug#424223: grub-pc: update-grub should avoid dpkg backup files
Merged 422708 424223.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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