From 937eee7e4d0423958fed46bc31817fa42decbd6b Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 10 Jul 2017 11:02:56 +0100
Subject: [PATCH] .

---
 Posts/VMM | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.