Re: git tag for gcc 7.4

2019-01-08 Thread Rasmus Villemoes
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 a

Re: git tag for gcc 7.4

2019-01-08 Thread Jonathan Wakely
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.

git tag for gcc 7.4

2019-01-08 Thread Rasmus Villemoes
I don't see a gcc-7_4_0-release tag in the git mirror. Is that intentional? Rasmus