From 822813dd23e9df149733ea537d8e64558e917888 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Mon, 11 Feb 2013 15:02:16 -0800 Subject: [PATCH] Add Mikko Perttunen to AUTHORS --- AUTHORS.txt | 1 + 1 file changed, 1 insertion(+) 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