On Sunday, 10 March 2013 at 08:41:40 UTC, Jonathan M Davis wrote:
==> GIT checkout done or server timeout

DUB outputs that? Git is not an acronym. It should be "Git".

Reply via email to