summaryrefslogtreecommitdiffstats
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 11874b639..796fc4864 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -48,6 +48,7 @@ CONTRIBUTORS:
Moritz Muehlenhoff <jmm@inutil.org>
Pádraig Brady <P@draigBrady.com>
Ram Pai <linuxram@us.ibm.com>
+ Samuel Thibault <samuel.thibault@ens-lyon.org>
Stepan Kasal <skasal@redhat.com>
Steve Grubb <sgrubb@redhat.com>
Valerie Henson <val_henson@linux.intel.com>