Update Imprint URL

goblint · Oct 1, 2023 · 70a4198 · 70a4198
1 parent 398dca3
commit 70a4198
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/cil.tex b/doc/cil.tex
@@ -2521,7 +2521,7 @@ \section{Bug reports}
          {https://github.com/goblint/cil}.
 
 \section{Impressum}
-See \ahreftop{https://www.in.tum.de/en/i02/impressum/}{https://www.in.tum.de/en/i02/impressum/}
+See \ahreftop{https://www.cs.cit.tum.de/pl/impressum/}{https://www.cs.cit.tum.de/pl/impressum/}
 
 \end{document}