dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

On Mon, Dec 3, 2012 at 8:10 PM, Anders Logg <logg@xxxxxxxxx> wrote:
> It's all green now. Can you check those bugs again and close them?

Great! All looks good and I have closed them now. I might change some
packages on a few of the buildbots tomorrow, just to see if I can get
a more standard configuration to work now after the latest fixes.

Johannes