Hi Thomas, thanks for the hint:
> Von: "Thomas Koenig" <tkoe...@netcologne.de> > Am 26.05.20 um 23:33 schrieb Harald Anlauf: > > Will backport in a few days, when I figure out how to do it now. > > The way to backport now is to first run contrib/gcc-git-customization.sh > from current master, and then change to the branch you want to > backport this to and run > > git gcc-backport r11-646-g56f03cd12be26828788a27f6f3c250041a958e45 . > > (or what your revision may be). > > I just tried it, and it works well. This almost worked for me. I am using git worktree for the branches. I had to checkout releases/gcc-10 again, otherwise the worktree was in a detached state. After that, everything worked fine. Thanks, Harald