From ab9eb9f870390004d8a781d9a1b73f9fbd0b01e6 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Jan 2021 15:35:13 +0100
Subject: [PATCH] Updated list of contributors.

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 4b2dd59e2..99265f6f0 100644
--- a/README.md
+++ b/README.md
@@ -57,5 +57,6 @@ Storm has been developed at RWTH Aachen University.
 * Jan Karuc
 * Gereon Kremer
 * Sascha Vincent Kurowski
+* Stefan Pranger
 * Manuel Sascha Weiand
 * Lukas Westhofen