From 096c3d187275443073edda5ff3030ed0014644fc Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Wed, 28 Oct 2020 13:05:04 +0100
Subject: [PATCH] Made naming convention of publication branches consistent

---
 papers/POPL20.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/papers/POPL20.md b/papers/POPL20.md
index caef8ab..079b54d 100644
--- a/papers/POPL20.md
+++ b/papers/POPL20.md
@@ -1,5 +1,5 @@
 The state of the repository at the time of publication can be found at
-[https://gitlab.mpi-sws.org/iris/actris/-/tree/POPL20](https://gitlab.mpi-sws.org/iris/actris/-/tree/POPL20)
+[https://gitlab.mpi-sws.org/iris/actris/-/tree/popl20](https://gitlab.mpi-sws.org/iris/actris/-/tree/popl20)
 
 ## Examples
 
-- 
GitLab