From e0f7d8f38c549454bc1f33cfbca33c8bcf0dc075 Mon Sep 17 00:00:00 2001 From: Scott Olson Date: Wed, 13 Apr 2016 06:15:02 -0600 Subject: [PATCH] report: Credit where it's due. --- tex/report/miri-report.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/tex/report/miri-report.tex b/tex/report/miri-report.tex index 82efc73605ca..6d2686c138f7 100644 --- a/tex/report/miri-report.tex +++ b/tex/report/miri-report.tex @@ -664,5 +664,6 @@ A big thanks goes to Eduard Burtescu for writing the abstract machine specificat incessant questions on IRC, to Niko Matsakis for coming up with the idea for Miri and supporting my desire to work with the Rust compiler, and to my research supervisor Christopher Dutchyn. Thanks also to everyone else on the compiler team and on Mozilla IRC who helped me figure stuff out. +Finally, thanks to Daniel Keep and everyone else who helped fix my numerous writing mistakes. \end{document}