aboutsummaryrefslogtreecommitdiffstats
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 a60988970d..4a95a8f17a 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4164,6 +4164,7 @@ Eugene Exarevsky <eugene.exarevsky[AT]dsr-company.com>
Eugene Sukhodolin <eugene[AT]sukhodolin.com>
Evelio Vila <eveliovila[AT]gmail.com>
Fabian Raetz <fabian.raetz[AT]gmail.com>
+Fabrice Fontaine <fontaine.fabrice[AT]gmail.com>
Fabrizio Demaria <fabrizio.demaria[AT]intel.com>
Felix Ruess <felix.ruess[AT]roboception.de>
Filip Sohajek <filip.sohajek[AT]gmail.com>