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