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