Bug#605705: Please include new version of `05_debian_theme' + 2 small patches

[Colin Watson]

# IMO as co-maintainer: this is the first thing users see every time
# they boot Debian.  We should make sure that it is consistent,
# especially for partitioning layouts that are offered as standard in
# the installer.
severity 605705 serious
thanks

On Wed, Dec 15, 2010 at 02:38:25PM +0100, Alexander Kurtz wrote:
> please include the attached new version of `/etc/grub.d/05_debian_theme'
> and the two very small patches to GRUB's postinst and postrm script in
> the next upload.
> 
> These changes should fix #605705[1] and possibly a number of other
> bugs[2]. Please see [3] for a detailed list of improvements.
> 
> If possible, it would be nice if this change would make to squeeze as
> GRUB looks quite boring without a background image. ;-)

Thanks!  I've reviewed your patch and it looks good to me.  I'm
preparing an upload now including this.

-- 
Colin Watson                                       [cjwatson at debian.org]