blog post about MIR and miri and semantics and instrumentation
[web.git] / personal / _posts / 2017-05-23-internship-starting.md
index 1b7269be7e2902b7322278a1b24a5214e350d9e9..54361c215b552a04cbb0d272bc5842574635e06f 100644 (file)
@@ -1,5 +1,5 @@
 ---
-title: Day 1 of my Mozilla Internship
+title: Day 1 of My Mozilla Internship
 categories: internship rust
 ---