Re: [PATCH] Documentation/git-push.txt: minor: compress one option
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 12, 2009, 03:59 UTC
- Message-ID
- <7vmydxkwck.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <1231729554-10513-1-git-send-email-jidanni@jidanni.org>
Thanks, queued.
This unfortunately missed tonight's integration window and won't appear until I start next round of integration tomorrow evening.