Bug#680084: none

[intrigeri]

Hi,

intrigeri wrote (27 Nov 2012 22:44:13 GMT) :
> Michael Gilbert wrote (19 Nov 2012 00:10:21 GMT) :
>> reassign 680084 grub-common
>> forcemerge 680084 673573
>> thanks

> I'm glad you found the root cause of #680084, but perhaps another kind
> of relationship would have expressed more clearly the relationship
> between those two bugs than a forcemerge?

> Unless I'm mistaken:

>   * #673573 is the root cause for #680084
>   * #680084 can be trivially workaround'd with the patch I've provided
>   * #673573 is much wider, possibly harder to solve. has not seen
>     activity since May

> Unless there are good hopes that #673573 is fixed soon (are there?),
> I'd still like #680084 to be fixed independently for Wheezy.

> What do you think?

Ping?