Merge branch 'nr/diff-highlight-indent-fix'
authorJunio C Hamano <gitster@pobox.com>
Wed, 23 Oct 2019 05:43:09 +0000 (14:43 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 Oct 2019 05:43:09 +0000 (14:43 +0900)
Code cleanup.

* nr/diff-highlight-indent-fix:
  diff-highlight: fix a whitespace nit


Trivial merge