Merge branch 'maint'
commit15624458a9de285fdd8a50cd25bdf83a8c9983b7
authorJunio C Hamano <gitster@pobox.com>
Mon, 12 Jan 2009 07:29:26 +0000 (11 23:29 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 12 Jan 2009 07:29:26 +0000 (11 23:29 -0800)
treef6e4145ac47de94d7f1829cc30f79a3ca5b1cc00
parentd727f676ad9f03c2b2a11ea68a2c6242ca02fa10
parent9279bf3ab6739cd5854c21418c5d28412287ba07
Merge branch 'maint'

* maint:
  Documentation/git-push.txt: minor: compress one option