https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114658
felix-gcc at fefe dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #3 from felix-gcc at fefe dot de ---
ok it looks like it was my fault (surprise) and I fixed it.
Here's what I did:
$ git checkout master
Switched to branch 'master'
Your branch is up to date with 'origin/master'.
$ git branch -D releases/gcc-13
Deleted branch releases/gcc-13 (was 32fb04adae9).
$ git checkout releases/gcc-13
Updating files: 100% (40334/40334), done.
branch 'releases/gcc-13' set up to track 'origin/releases/gcc-13'.
Switched to a new branch 'releases/gcc-13'
$ cat gcc/BASE-VER
13.2.1
Sorry again for the noise. Hope this helps the next git noob :)