Andrew's git / gitweb.git / diff
?
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