On Tue, 8 Jan 2019 at 13:16, Rasmus Villemoes wrote: > > I don't see a gcc-7_4_0-release tag in the git mirror. Is that intentional? Tags have to be manually added to the git mirror, they don't happen as part of the release process. I've added it now.