git tag for gcc 7.4

[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 added it now.
> 

Thanks :)