Mònica, Thanks for the report. This issue has been fixed upstream:
http://bazaar.launchpad.net/~dolfin-core/dolfin/main/revision/6306 Upstream plans to do a new release soon so I will hold on a few more days before I patch and upload. Johannes -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
