dolfin team mailing list archive

["Garth N. Wells" <gnw20@xxxxxxxxx>]

I think that we should make a release today (making it beta3 of rc1).
A ton of bugs have been fixed. We can push any others to the next
milestone.

Garth