about summary refs log tree commit diff homepage
path: root/NEWS
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2023-05-20 11:04:11 +1000
committerFrank Busse <f.busse@imperial.ac.uk>2023-06-07 20:43:57 +0100
commitd4ad01eb8959f0b65bdf8428c0d730694cab9bba (patch)
tree0aeeee2ba7ac9a82b9cf34c4427107f5a7ae4ce8 /NEWS
parent29ccb3165270f9a5ad8cda3e102eeef5e539c313 (diff)
downloadklee-d4ad01eb8959f0b65bdf8428c0d730694cab9bba.tar.gz
Fixed end date in the 2.3 release notes
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS3
1 files changed, 2 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index de99b7e1..c4f70288 100644
--- a/NEWS
+++ b/NEWS
@@ -1,7 +1,7 @@
 KLEE 2.3, 4 April 2022
 ======================
 
-Incorporating changes from 8 December 2020 to March 2022.
+Incorporating changes from 8 December 2020 to 4 April 2022.
 Maintainers during this time span: @ccadar and @MartinNowack
 Documentation at http://klee.github.io/releases/docs/v2.3
 
@@ -35,6 +35,7 @@ Documentation at http://klee.github.io/releases/docs/v2.3
 - Removed or updated obsolete Doxygen options and added Doxygen generation to the CI (@ccadar)
 - Smaller refactorings, fixes and improvements, test cases, maintenance, comments, web version, website, etc. (@251, @aesophor, @arrowd, @bathooman,  @ccadar, @carlocab, @davidtr1037, @dependabot, @futile, @iangneal, @jbuening, @jirislaby, @jiseongg, @jordr, @lzaoral, @MartinNowack, @numinit, @operasfantom, @prncoprs)
 
+
 KLEE 2.2, 7 December 2020
 =========================