diff --git a/AUTHORS.txt b/AUTHORS.txt index a7b55520b8d..3c62ba08437 100644 --- a/AUTHORS.txt +++ b/AUTHORS.txt @@ -114,6 +114,7 @@ Michael Arntzenius Michael Bebenita Michael Neumann Michael Sullivan +Mikko Perttunen Nick Desaulniers Niko Matsakis Or Brostovski