Can someone re-launch the buildbot? Once it's all clear we can make a release.
Garth _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
- [DOLFIN-dev] Release and buildbot Garth N. Wells
- Re: [DOLFIN-dev] Release and buildbot Johannes Ring
- Re: [DOLFIN-dev] Release and buildbot Johan Hake
- Re: [DOLFIN-dev] Release and buildbot Johannes Ring
- Re: [DOLFIN-dev] Release and buildbot Johannes Ring
- Re: [DOLFIN-dev] Release and buildbot Johan Hake
- Re: [DOLFIN-dev] Release and buildbot Anders Logg
