diff --git a/doc/AUTHORS b/doc/AUTHORS index d1d81ae5ebf..7122dcfabf6 100644 --- a/doc/AUTHORS +++ b/doc/AUTHORS @@ -58,3 +58,4 @@ Chris Crook Alvaro Huarte Giovanni Manghi Denis Rouzaud +Tom Kralidis