"Garth N. Wells" <[email protected]> writes: > I made a small change to .gitignore that should have gone straight > into master, but by accident went into next. The question for me is > how to best recover from such an mistake. I'm clear on what can be > done, but not clear on what the best approach to recovering from such > a mistake is. Maybe just cherry pick and leave a stray commit in next > until the next release.
Yes, exactly. _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
