Missing tags in the Git mirror

[Роман Донченко]

Jonathan Wakely <jwakely.gcc@gmail.com> писал в своём письме Wed, 06 Aug  
2014 15:07:11 +0400:

> On 5 August 2014 19:32, Роман Донченко wrote:
>> Hello,
>>
>> Tags for the following releases are not in the Git mirror repository:
>>
>> * 3.3
>> * 3.3.1
>> * 3.3.5
>> * 3.3.6
>> * 4.7.4
>> * 4.8.3
>> * 4.9.1
>>
>> I figure this is the place to report it?
>
>
> Yes, this is the right place, thanks.  The tags in the Git mirror have
> to be added manually, they don't propagate from the svn repo.

So... are they going to be added now?