1 files changed, 2 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 15b6804c..064a4dc9 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -8,6 +8,8 @@ Current Authors/Maintainers:
      plastic, lego
    Pierre Courtieu <courtieu@lri.fr>
      coq
+   Christoph Rafalli <Christophe.Raffalli@univ-savoie.fr>
+     phox
  
 Previous Authors: