Merge branch 'rs/rs-mailmap'
authorJunio C Hamano <gitster@pobox.com>
Wed, 11 Oct 2017 05:52:23 +0000 (14:52 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Oct 2017 05:52:23 +0000 (14:52 +0900)
* rs/rs-mailmap:
  .mailmap: normalize name for RenĂ© Scharfe


Trivial merge