From b5e3f440509cd06cce94f8092ada7d718dbd29cf 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 81a8db9..7de99b3 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 alon with examples thereof are covered in
-- 
GitLab