diff --git a/AUTHORS b/AUTHORS index 75c8afbcf8..e5d470944a 100644 --- a/AUTHORS +++ b/AUTHORS @@ -250,3 +250,4 @@ Giovanni Di Milia Peter Wilkins Justin Abrahms Arbab Nazar +Douglas Hall