On 7/1/20 3:17 AM, Andreas Schwab wrote: > There are also numerous other branches using that name. Just to be clear I am not proposing a rewriting of any git history or changing any existing branches, only the names of new branches going forward along with the development branch. Hopefully my initial email was clear on that topic. -- Cheers, Carlos.