Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 9d93ff85c187949b72228ad06a2729555c97c2c9..49d69c774457fe15b39bb31d24781b9e9107f203 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -23,6 +23,7 @@ Hans-Peter Nilsson <hp@gcc.gnu.org>
 Ian Wienand <ianw@gelato.unsw.edu.au>
 Ivan Maidanski <ivmai@mail.ru>
 James Cowgill <james410@cowgill.org.uk>
+Jean Girardet <jean.girardet@atos.net>
 Jeremy Huddleston <jeremyhu@apple.com>
 Jim Marshall <jim.marshall@wbemsolutions.com>
 Joerg Wagner <wagner@it.neclab.eu>