From 564b7d5cb6890f9ec02626e1916a43b40d81be00 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 17 Feb 2020 13:48:52 +0100
Subject: [PATCH] direct future uploads at the appendix-3.3

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

diff --git a/tex/upload b/tex/upload
index 6f6be2ed7..1d0799ebe 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.2.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.3.pdf
 
-- 
GitLab