Am Samstag, 2. Juni 2018, 03:47:26 CEST schrieb Robert Krawitz: > I probably should have branched off from that point... Well, simply check out the last commit you consider stable and create a new branch ;-)