> On Sep 30, 2018, at 10:55 AM, Jan Mulder <jlmulder at xs4all.nl> 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