Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Tue, 16 Apr 2013 22:14:44 +0000 (15:14 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 16 Apr 2013 22:14:44 +0000 (15:14 -0700)
* maint:
help.c: add a compatibility comment to cmd_version()

Trivial merge