On Wed, Feb 10, 2021 at 10:49:04PM +0100, Ludovic Courtès wrote: > Leo Famulari <l...@famulari.name> skribis: > > > On Wed, Feb 10, 2021 at 04:09:15PM +0200, Efraim Flashner wrote: > >> My concern about that is that it basically swaps what we have now. Using > >> -frozen makes it a bit clearer that we're building it out. > > > > Good idea, I like it. > > +1 > > Would someone be willing to add a couple of lines about this in the > manual, next to the place where branching is mentioned?
Done in commit 175bea0ca42dba3e02109820efae0cac2804e73b
