Skip to content

Commit e0f7d8f

Browse files
committed
report: Credit where it's due.
1 parent 00dc20a commit e0f7d8f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tex/report/miri-report.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -664,5 +664,6 @@ \section{Thanks}
664664
incessant questions on IRC, to Niko Matsakis for coming up with the idea for Miri and supporting my
665665
desire to work with the Rust compiler, and to my research supervisor Christopher Dutchyn. Thanks
666666
also to everyone else on the compiler team and on Mozilla IRC who helped me figure stuff out.
667+
Finally, thanks to Daniel Keep and everyone else who helped fix my numerous writing mistakes.
667668

668669
\end{document}

0 commit comments

Comments
 (0)