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 _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
