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

[Jonathan M Davis]

On 2011-05-15 00:39, Russel Winder wrote:
> On Sun, 2011-05-15 at 00:31 -0700, Jonathan M Davis wrote:
> [ . . . ]
> 
> > I believe that git-push --tags will push the tags, so you probably need
> > to run something like
> 
> Isn't git-push somewhat out of date, shouldn't that be git push?  ;-)

Both are valid. There's nothing out-of-date about either.

- Jonathan M Davis