From e962b1a31486a437ba8d3c72f39677e66cfc9b77 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Tue, 9 Jan 2024 23:03:24 +0100
Subject: [PATCH] thank you, Mirko!

---
 inputs/intro.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/inputs/intro.tex b/inputs/intro.tex
index 787e8d1..9b141c8 100644
--- a/inputs/intro.tex
+++ b/inputs/intro.tex
@@ -12,6 +12,9 @@ If you find errors or want to improve something,
 please send me a message:\\
 \texttt{lecturenotes@jrpie.de}.
 
+Many thanks to \textsc{Mirko Bartsch} for providing notes on lectures
+I could not attend!
+
 This notes follow the way the material was presented in the lecture rather
 closely. Additions (e.g.~from exercise sheets)
 and slight modifications have been marked with $\dagger$.