On Wed, Feb 1, 2012 at 12:15 PM, Johannes Ring <[email protected]> wrote: > 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.
It seems that this wasn't fixed after all. The buildbot is broken again and no report was sent to the list. I will look into it. Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
