On Tue, Jan 31, 2012 at 8:56 AM, Johannes Ring <[email protected]> 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 : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
