On Mon, Dec 3, 2012 at 8:10 PM, Anders Logg <[email protected]> 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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
