Re: git is live

Tom Tromey
2013-11-08T19:21:12Z

Paul> It also appears to have been added twice...?

The two messages refer to two different commits.

Tom