dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

On Wed, Feb 1, 2012 at 12:15 PM, Johannes Ring <johannr@xxxxxxxxx> wrote:
> On Tue, Jan 31, 2012 at 8:56 AM, Johannes Ring <johannr@xxxxxxxxx> 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