summaryrefslogtreecommitdiff
path: root/THANKS.in
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS.in')
-rw-r--r--THANKS.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS.in b/THANKS.in
index 5c49006a2..4593f6c0d 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -207,6 +207,7 @@ Florian Schlichting fschlich@cis.fu-berlin.de
Florin Iucha fiucha@hsys.mic.ro
Francesco Montorsi fr_m@hotmail.com
François Pinard pinard@iro.umontreal.ca
+François Rigault rigault.francois@gmail.com
Frank Adler fadler@allesklar.de
Frank T Lofaro ftlofaro@snooks.Egr.UNLV.EDU
Fred Fish fnf@ninemoons.com