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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
