Re: Release 1.4.1 is from master branch

[John Darrington]

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 <blp@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.beckmann@gmx.de> wrote:
     >>
     >> Hi Ben,
     >>
     >> as far as I see it the 1.4.1 release is from master branch?
     >>
     >> Fritz