From 213ebbd2f1319db2c11185ba9a9778cc3b613329 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 20 Aug 2022 08:05:03 -0400
Subject: [PATCH] tex: update URL
---
tex/iris.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tex/iris.tex b/tex/iris.tex
index 3f53ccf6b..3b6496644 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -15,7 +15,7 @@
\title{\bfseries The Iris 4.1~dev Reference}
-\author{\url{http://plv.mpi-sws.org/iris/}}
+\author{\url{https://iris-project.org/}}
\begin{document}
--
GitLab