severity 729277 normal merge 729277 716396 thanks On Mon, Nov 11, 2013 at 09:06:24AM -0500, Sang Kil Cha wrote: >> So this is essentially the same bug as #716396, which was already reported by >> other members of the same team? > I concur. We thought they are different bugs, but it was our mistake.
Thanks; I agree it's a bug, but I don't think this warrants RC severity. Merging and downgrading. /* Steinar */ -- Homepage: http://www.sesse.net/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
