Merge branch 'wk/doc-git-has-grown' into maint
commit0b57758c351dd1e69f405bf4c111e1ea93f1da69
authorJunio C Hamano <gitster@pobox.com>
Fri, 19 Jul 2013 17:42:52 +0000 (19 10:42 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 19 Jul 2013 17:42:52 +0000 (19 10:42 -0700)
tree6c1dd9013b6d304e4967e4476eb4fafb7bc693bf
parentb002bb87f0aeb7b87e5cbe111c520a318c402b59
parent4b9ced278cbfd57402c3e9875f4ddf1c31438af8
Merge branch 'wk/doc-git-has-grown' into maint

* wk/doc-git-has-grown:
  user-manual: Update download size for Git and the kernel