.mailmap: merge different spellings of names
authorStefan Beller <sbeller@google.com>
Fri, 29 Jun 2018 02:10:48 +0000 (19:10 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 29 Jun 2018 16:29:44 +0000 (09:29 -0700)
commit88a8ecaeaa87a84100c4eb49fb9af7a77977cc1b
tree09b3ad00838fe94d18f7f1e4256ec212ad9a373a
parente3331758f12da22f4103eec7efe1b5304a9be5e9
.mailmap: merge different spellings of names

This is a continuation of 94b410bba86 (.mailmap: Map email
addresses to names, 2013-07-12), merging names that are
spelled differently but have the same author email to the
same person.

Most spellings differed in accents or the order of names.

Signed-off-by: Stefan Beller <sbeller@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.mailmap