diff --git a/doc/AUTHORS b/doc/AUTHORS index 814ecd27d82..170e6033b3d 100644 --- a/doc/AUTHORS +++ b/doc/AUTHORS @@ -59,3 +59,4 @@ Giovanni Manghi Denis Rouzaud Tom Kralidis Sandro Santilli +Alessandro Pasotti