** Changed in: dolfin (Ubuntu)
Status: Confirmed => Fix Committed
--
Sync dolfin 0.9.8-3 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/620106
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.