summaryrefslogtreecommitdiffstats
path: root/THANKS
diff options
context:
space:
mode:
authorDaiki Ueno <ueno@gnu.org>2015-06-24 17:03:40 +0900
committerDaiki Ueno <ueno@gnu.org>2015-06-24 17:03:40 +0900
commitc05fb216af21f6614812c09b7d453697d031b65f (patch)
tree3fe88c351c6c49b6162f7be1bbbdef45bcaf2658 /THANKS
parent19d95e4b5cd9488932f35ba8f42ecb9054914eee (diff)
downloadexternal_gettext-c05fb216af21f6614812c09b7d453697d031b65f.zip
external_gettext-c05fb216af21f6614812c09b7d453697d031b65f.tar.gz
external_gettext-c05fb216af21f6614812c09b7d453697d031b65f.tar.bz2
Fix reporter credit
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 8f0c83c..126044a 100644
--- a/THANKS
+++ b/THANKS
@@ -266,6 +266,7 @@ Paul D. Smith psmith@gnu.org
Paul Eggert eggert@twinsun.com
Paul Jarc prj@po.cwru.edu
Paul Martinolich martinol@nrlssc.navy.mil
+Paul Zimmermann Paul.Zimmermann@inria.fr
Pavel Kharitonov ineiev@gnu.org
Pavel Raiskup praiskup@redhat.com
Pavel Roskin proski@gnu.org