Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Thu, 10 Jan 2013 22:38:00 +0000 (14:38 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 10 Jan 2013 22:38:00 +0000 (14:38 -0800)
* maint:
  Prepare for 1.8.1.1
  Makefile: detect when PYTHON_PATH changes (cherry-picked)


Trivial merge