1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index d760aa760..516c92d38 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -39,6 +39,7 @@ Google Inc.
  Zachary O'Keefe
  Etienne Perot
  Hidenori Kobayashi
+ Florent Revest
 Baozeng Ding
 Lorenzo Stoakes
 Jeremy Huang