On Tue, Nov 15, 2011 at 09:51:06PM +0100, Anders Logg wrote: > 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.
I believe Marie has pushed a bug fix now, but if someone has a good recipe please share. I can add it to the web docs for future reference. -- Anders _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
