← Back to team overview

dolfin team mailing list archive

Release and buildbot

 

Can someone re-launch the buildbot? Once it's all clear we can make a release.

Garth


Follow ups