What's the current status of the buildbots? They seem to be in a mixed state, both for next and master. I have stuff merged into next which hasn't been merged into master but don't know if I dare to merge it since both next and master seem to be broken.
Can we get back to a default state where both next and master are always green? -- Anders _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
