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
