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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org