From 68c89a0bc032f0f10b57584c9142f3426d48eb0c Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Wed, 28 Oct 2020 13:08:52 +0100
Subject: [PATCH] Added reference to lmcs branch to readme

---
 papers/LMCS.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/papers/LMCS.md b/papers/LMCS.md
index 81e9f3b..d7156ed 100644
--- a/papers/LMCS.md
+++ b/papers/LMCS.md
@@ -1,3 +1,6 @@
+The state of the repository at the time of submission can be found at
+[https://gitlab.mpi-sws.org/iris/actris/-/tree/lmcs](https://gitlab.mpi-sws.org/iris/actris/-/tree/lmcs)
+
 ## Examples
 
 Differences from the original POPL20 paper along with examples thereof are covered in
-- 
GitLab