X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/bd690cdc6ad7880da323ec5d93309ead032c275a..780c258791107876cfb5e61e6fa6f90cecac7aeb:/research/publications.html?ds=inline
diff --git a/research/publications.html b/research/publications.html
index 5a7d7b3..75647f9 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -118,7 +118,7 @@ slug: Publications
Logical Atomicity in Iris: the Good, the Bad, and the Ugly
Ralf Jung
At Iris Workshop 2019
- [slides]
+ [slides]