I think so. On Fri, Sep 11, 2020, 11:45 AM John Darrington <j...@darrington.wattle.id.au> wrote:
> Are we still planning on a 1.4.2 release in a few weeks' time ? > > J' > > On Sun, Sep 06, 2020 at 11:39:52PM +0200, Friedrich Beckmann wrote: > 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 > > >
