On Thu, Aug 2, 2012 at 1:30 AM, Kumar Appaiah <aku...@debian.org> wrote: > #680931 has been fixed by the latest gcc download, so I don't believe > that the workaround upload for Armadillo is necessary.
Thanks Kumar. The latest gcc-4.7 package (version 4.7.1-6) fixed the problem. I guess a binNMU for DOLFIN is needed. Johannes -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
