Merge branch 'jk/fetch-prune-doc'
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Jun 2016 16:56:44 +0000 (09:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Jun 2016 16:56:44 +0000 (09:56 -0700)
* jk/fetch-prune-doc:
  fetch: document that pruning happens before fetching

1  2 
Documentation/fetch-options.txt

Simple merge