Re: Release 1.4.1 is from master branch

[Friedrich Beckmann]

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