diff --git a/Posts/VMM b/Posts/VMM index 446de5a..077d7b6 100644 --- a/Posts/VMM +++ b/Posts/VMM @@ -322,4 +322,4 @@ grammatical corrections). I'm very thankful to people who gave feedback on earlier versions of this article, and who discussed the system design with me. These are Addie, Chris, -Christiano, Joe, Mindy, Mort, and sg. +Christiano, Joe, mato, Mindy, Mort, and sg.