dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

My recent work has broken the buildbot. Can anyone give a quick tip
for how to revert the changes from the branch in such a way that I can
reapply the changes + a proper fix later?

It should be fairly quick to resolve the issue but I might as well
learn to revert the proper way.

--
Anders