> On Sep 30, 2018, at 10:55 AM, Jan Mulder <[email protected]> wrote: > @Dirk. A little git question. What about reverting the 2 reverted commits? > Not sure how to handle that. Redo the 2 commits or just revert the revert?
I'd just do a fresh commit and be done with it. No point in being overly fancy, IMHO /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
