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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
