On 08/01/2019 14.28, Jonathan Wakely wrote: > 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. >
Thanks :)
