Merge branch 'pf/editor-ignore-sigint'
authorJunio C Hamano <gitster@pobox.com>
Sun, 6 Jan 2013 06:48:09 +0000 (22:48 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 6 Jan 2013 06:48:09 +0000 (22:48 -0800)
* pf/editor-ignore-sigint:
  fix compilation with NO_PTHREADS


Trivial merge