Merge branch 'maint'
commitc5212b87dafb3f559ceb898bd9b40bfc3cd0ad68
authorJunio C Hamano <gitster@pobox.com>
Mon, 19 Jul 2010 18:21:08 +0000 (19 11:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Jul 2010 18:21:08 +0000 (19 11:21 -0700)
treeef8e9686d647a7e47a6c999cfbca6d0e14bcb1c4
parentf0e5a4b7f3db2d4e1ded9683817d1d1d3a2a220f
parentc173dad58787a7f11a526dbcdaa5a2fe9ff1c87f
Merge branch 'maint'

* maint:
  update-server-info: Shorten read_pack_info_file()
  Documentation: Explain git-mergetool's use of temporary files