Is anyone planning to get the dolfin trunk buildbot green anytime soon? I have some ufl bugfixes I'd rather not push before everything is green. No rush though.
Martin _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
