Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 12d372de392ad613c9188a225c89d4a20d922396..7c518e27e1741202f81640c93ca4f71e9dd9ef2a 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -21,6 +21,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>