diff options
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS index 592bd44449..edfbbf6c09 100644 --- a/THANKS +++ b/THANKS @@ -7,6 +7,7 @@ suggestions, bug reports, patches, internationalization, or general infrastructure help: Lluís Batlle i Rossell <viric@viric.name> + Carlos Carleos <carleos@uniovi.es> Felipe Castro <fefcas@gmail.com> Daniel Clark <dclark@pobox.com> Alexandru Cojocaru <xojoc@gmx.com> |