Update THANKS

diff --git a/THANKS b/THANKS
index 304843e9a7e36fda9bc3d2b8474f2857a2b56f62..51515a3b068e334f95035bc1d7129c05c08dd786 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -5,6 +5,7 @@ Thanks
 Some people have helped more, some less, but nevertheless everyone's help
 has been important. :-) In alphabetical order:
   - Mark Adler
+  - Victoria Alexia
   - Kian-Meng Ang
   - H. Peter Anvin
   - Jeff Bastian