Merge branch 'maint'
commitdcd8c09e4dd60f66db53e18377d257609d87ca67
authorJunio C Hamano <gitster@pobox.com>
Tue, 16 Apr 2013 22:14:44 +0000 (16 15:14 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 16 Apr 2013 22:14:44 +0000 (16 15:14 -0700)
treeeead4fac96cc3d9ed2e1efd6c250e795ab128485
parent95f31e9ab52b4377086acf7c4d070083e0bee039
parentf2de0b97935da2ba3ccb627457e5fa3fc4e11287
Merge branch 'maint'

* maint:
  help.c: add a compatibility comment to cmd_version()