Merge branch 'js/diff-highlight-avoid-sigpipe'
authorJunio C Hamano <gitster@pobox.com>
Mon, 10 Nov 2014 19:26:09 +0000 (11:26 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 10 Nov 2014 19:26:09 +0000 (11:26 -0800)
* js/diff-highlight-avoid-sigpipe:
  diff-highlight: exit when a pipe is broken


Trivial merge