From 58034a739f13d050553720ccb1f83b71a7a37c5f Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 23 Apr 2019 18:57:50 +0200 Subject: [PATCH] README.md: Clarify affiliation --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index af75267d..fd90a0d1 100644 --- a/README.md +++ b/README.md @@ -74,7 +74,7 @@ PRISM was created and is still actively maintained by: Development of the tool is currently led from Birmingham by Dave Parker. Other current key developers are: - * Joachim Klein (Technische Universität Dresden) + * Joachim Klein (formerly Technische Universität Dresden) We gratefully acknowledge contributions to the PRISM code-base from various sources, including (in approximately reverse chronological order):