diff options
author | Jim Meyering <meyering@fb.com> | 2022-10-16 20:11:55 -0700 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2022-10-16 20:12:20 -0700 |
commit | 0fe201e7f47ed9404cbf7a7a8ee142621c707e52 (patch) | |
tree | 44715dcacc9bd2c69212625c803ac432cb119539 | |
parent | 23eaab0669e7c9489b4253f70d2c22c0d9efe4ae (diff) | |
download | sed-0fe201e7f47ed9404cbf7a7a8ee142621c707e52.tar.gz |
build: fix THANKS generation
* .mailmap: Building THANKS would fail due to thanks-gen finding
two different email addresses for Mike Frysinger. Map the older
one to the newer one.
-rw-r--r-- | .mailmap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -7,6 +7,7 @@ Paul Eggert <eggert@cs.ucla.edu> <eggert@CS.UCLA.EDU> <eggert@cs.ucla.edu> <eggert@twinsun.com> <karl@gnu.org> <karl@freefriends.org> <bonzini@gnu.org> <pbonzini@redhat.com> +<vapier@chromium.org> <vapier@gentoo.org> # Consolidate upper/lower case email <Ralf.Wildenhues@gmx.de> <ralf.wildenhues@gmx.de> |