On Tue, Jan 31, 2012 at 8:56 AM, Johannes Ring <joha...@simula.no> wrote: > BTW, did anyone receive a report from the buildbot when it was broken > yesterday? I didn't.
I don't know why this suddenly stopped working, but it should be ok again now. Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
