From 4bb4251269b46ed82cab54cf235c7c726712b09e Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Sat, 9 Apr 2016 22:23:15 -0600
Subject: [PATCH] report: Add stub "Thanks" section.

---
 tex/paper/miri.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tex/paper/miri.tex b/tex/paper/miri.tex
index d54d28f8b38..99d7733725c 100644
--- a/tex/paper/miri.tex
+++ b/tex/paper/miri.tex
@@ -297,4 +297,10 @@ Other possible uses for Miri include:
     guarantee that compile-time execution works the same as runtime execution.
 \end{itemize}
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\section{Thanks}
+
+Eduard Burtescu, Niko Matsakis, and Christopher Dutchyn.
+
 \end{document}