From 8b90dfbdb055acc3b44a6dd5e19cf3de2dbea719 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Mon, 14 Dec 2020 15:39:38 +0100
Subject: [PATCH] Referred to cpp21 branch in CPP21.md

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

diff --git a/papers/CPP21.md b/papers/CPP21.md
index a8ba65c..ce73e3b 100644
--- a/papers/CPP21.md
+++ b/papers/CPP21.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/cpp21](https://gitlab.mpi-sws.org/iris/actris/-/tree/cpp21)
+
 # Code corresponding to the paper
 
 All code corresponding to the paper can be found in the directory
-- 
GitLab