Docs: Added Antonion to AUTHORS

2017-01-14 11:51:53 -05:00
parent 92af246f3a
commit 67e0319d36
2 changed files with 3 additions and 0 deletions
--- a/1
+++ b/1
@@ -136,6 +136,7 @@ The following submitted code, packages or analysis, and deserve special thanks:
  jrabbit
  Jelle van der Waa
  Flavio Poletti
+  Antonio Huete Jimenez

 Thanks to the following, who submitted detailed bug reports and excellent
 suggestions: