From 620e1ffc03ce56e7a5901ea8c073e25b6100f22d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 22 Jan 2022 20:12:23 -0500
Subject: [PATCH] also update filename

---
 tex/upload | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tex/upload b/tex/upload
index 5622fa4f8..5874571c3 100755
--- a/tex/upload
+++ b/tex/upload
@@ -3,5 +3,5 @@ set -e
 cd "$(dirname "$(readlink -e "$0")")"
 
 rub iris
-scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.6.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.7.pdf
 
-- 
GitLab