Ah - o.k. I also noticed that one might get lost a little bit not to forget a commit.
> Am 06.09.2020 um 21:11 schrieb Ben Pfaff <b...@cs.stanford.edu>: > > Yes. I created branch-1.4 because we were talking about making the > 1.4.1 release from a subset of commits on master. It is confusing to > try to do this without a branch. Later, John suggested that we should > actually put everything on master into the release, so instead I > dropped the version number on master back to 1.4.1 and released > from there. I admit that this is a very unusual thing to do, but it also > seemed to me like a better choice than having a separate branch > with all the same commits as the master branch. I hope that it does > not cause any serious problems. > > Since then, I've deleted branch-1.4. I think that it was only going to > be confusing to have it. > > On Sat, Sep 5, 2020 at 11:57 PM Friedrich Beckmann > <friedrich.beckm...@gmx.de> wrote: >> >> Hi Ben, >> >> as far as I see it the 1.4.1 release is from master branch? >> >> Fritz
