diff --git a/AUTHORS.txt b/AUTHORS.txt index b0651eadae3..076cc8596fa 100644 --- a/AUTHORS.txt +++ b/AUTHORS.txt @@ -108,6 +108,7 @@ Matthew O'Connor Max Penet Michael Arntzenius Michael Bebenita +Michael Neumann Michael Sullivan Nick Desaulniers Niko Matsakis