Question #152620 on DOLFIN changed:
https://answers.launchpad.net/dolfin/+question/152620
Status: Answered => Solved
Evan Lezar confirmed that the question is solved:
Johannes,
Just to confirm that this has indeed solved the problem. I didn't expect
it to be sorted out so quickly - hence the fact that I didn't check the
ppa again.
Thanks for the effort!
Regards
--
You received this question notification because you are a member of
DOLFIN Team, which is an answer contact for DOLFIN.
_______________________________________________
Mailing list: https://launchpad.net/~dolfin
Post to : [email protected]
Unsubscribe : https://launchpad.net/~dolfin
More help : https://help.launchpad.net/ListHelp