dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Mon, Jul 04, 2011 at 11:07:02PM +0100, Garth N. Wells wrote:
>
>
> On 04/07/11 23:01, Anders Logg wrote:
> > This error was intentional to check whether the error was reported by
> > the buildbot.
> >
> > Has the buildbot reported it?
>
> Yes.

Great, I see it now.

Just one more bug fix before the release then?

--
Anders