dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

Garth, could you live with setting the append_revisions_only flag?
At least for now.

I'm not trying to make trouble for individual developers, but it will
help to not break the buildbot again.

--
Anders