Bug#680084: none

[intrigeri]

Hi,

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?

Cheers,
--
  intrigeri
  | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
  | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc