From 27a96022f00c59cb2c5817c9285f1305c8d059ff Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 31 Aug 2014 21:24:13 +0000
Subject: [PATCH] README update (contributors).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9165 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/README.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/README.txt b/prism/README.txt
index dd012a12..15f2418f 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -82,6 +82,7 @@ PRISM was created and is still actively maintained by:
 We gratefully acknowledge contributions to the PRISM code-base from various sources,
 including (in approximately reverse chronological order):
 
+ * Joachim Klein: Various bug fixes, especially related to LTL
  * Vojtech Forejt: Various model checking code, including multi-objective + GUI enhancements
  * Hongyang Qu: Multi-objective model checking
  * Mateusz Ujma: Bug fixes and GUI improvements