[phobos] Tag for the dmd 2.053 release on the Phobos repository?

[Walter Bright]

On 5/14/2011 11:13 PM, Jonathan M Davis wrote:
> On 2011-05-14 23:00, Walter Bright wrote:
>> There's a tag for it - v2.053
> On github, neither dmd, nor druntime, nor Phobos lists a tag for 2.053. When I
> run git-fetch to make sure that I have the latest tags, I don't see anything
> other than what github shows. From the looks of it, to match the tagging
> schemes that have been being used, dmd should have a dmd-2.053 tag, druntime
> should have a druntime-2.053 tag, and Phobos should have a Phobos-2.053 tag.
> No such tags exist. So, I don't know why you think that a v2.053 tag exists on
> Phobos. Perhaps you tagged it that way locally but didn't push the tags to the
> main repository? Regardless, no such tags exist on github.
>
>

If I go

    git tag

it shows the tag on my repository. I've done a git push on it, too. What more 
can I do?