dolfin team mailing list archive

["Johannes Ring" <johannr@xxxxxxxxx>]

On Tue, February 17, 2009 12:31, Johan Hake wrote:
> On Tuesday 17 February 2009 12:24:22 Johannes Ring wrote:
>> On Tue, February 17, 2009 11:57, Garth N. Wells wrote:
>> > Can someone re-launch the buildbot? Once it's all clear we can make a
>> > release.
>>
>> Why do you think a re-launch would help? As far as I can see there
>> hasn't
>> been any changes after the build tonight.
>
> The error was in FFC and this has been updated, which does not trigger a
> rerun
> of the buildbot.

The last change to FFC was yesterday at 21:59:38. Everything has been
rebuilt after that (during the night). Am I missing something?

Johannes