From a0ab7b461fc3b8db3b67413c58328b6e5532b91b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 23 Jul 2017 07:20:23 +0000 Subject: [PATCH] Date fix in CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12162 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 8b09c735..05977c42 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -38,7 +38,7 @@ Version 4.4 (first released 23/7/2017) - code base now allows/assumes Java 8 ----------------------------------------------------------------------------- -Version 4.3.1 (first released 26/5/2015) +Version 4.3.1 (first released 26/5/2016) ----------------------------------------------------------------------------- * Bug fixes: