Bug#732595: closed by Colin Watson <cjwatson at debian.org> (Bug#732595: fixed in grub2 2.02~beta2-1)

[Colin Watson]

On Thu, Dec 26, 2013 at 11:28:56AM +0800, jidanni at jidanni.org wrote:
> By the way, it would be neat if some bot could a check for this in
> each package...

This is a one-off problem, not something susceptible to being repeated
in many packages.

-- 
Colin Watson                                       [cjwatson at debian.org]