X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/ca1ce68890bbb8bbba6b5c0b3ea2f8aa268a18e9..ef7b7b99c5c0805d9f37a77a66f2b5d9e4ad215b:/personal/_posts/2017-07-08-rustbelt.md?ds=sidebyside diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md index 0773db6..1dfee5b 100644 --- a/personal/_posts/2017-07-08-rustbelt.md +++ b/personal/_posts/2017-07-08-rustbelt.md @@ -38,6 +38,6 @@ All these results were only possible because of my great collaborators, [Jacques I also benefited a lot from countless discussions with the Rust community at large, and with Aaron and Niko in particular. You guys rock! -**Update**: I have changed the link to point to the [final version of the paper](https://plv.mpi-sws.org/rustbelt/popl18/). +**Update:** I have changed the link to point to the [final version of the paper](https://plv.mpi-sws.org/rustbelt/popl18/). **/Update** -**Update**: The conference talk is now available [on YouTube](https://www.youtube.com/watch?v=Cy9NUVaiYUg). +**Update:** The conference talk is now available [on YouTube](https://www.youtube.com/watch?v=Cy9NUVaiYUg). **/Update**