Hi! We have found that the Git 'gcc-9_1_0-release' tag doesn't correspond to the actual GCC 9.1 release. The GCC 9.1 release (as per 'gcc-9.1.0.tar' as well as 'svn+ssh://gcc.gnu.org/svn/gcc/tags/gcc_9_1_0_release', r272156) would correspond to Git commit 3defceaa1a2987fa90296abfbcc85d7e9ad59684 "Update ChangeLog and version files for release", but the Git 'gcc-9_1_0-release' tag points one commit further: Git commit 1f54d412a517f3a4b82f3dd77517842fb4de099a "BASE-VER: Set to 9.1.1". (That's not a big problem; the 'BASE-VER' update is indeed the only difference.)
The Git tag can't be corrected now (would it make sense to push a Git 'gcc-9_1_0-release-corrected' tag?), but I wanted to post this, to get it into the mighty Internet archives; may this note help others who stumble over the same thing. Grüße Thomas