From: Junio C Hamano Date: Mon, 12 Jan 2009 03:59:55 GMT Subject: Re: [PATCH] Documentation/git-push.txt: minor: compress one option 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.