From d4ad01eb8959f0b65bdf8428c0d730694cab9bba Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 20 May 2023 11:04:11 +1000 Subject: Fixed end date in the 2.3 release notes --- NEWS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 ========================= -- cgit 1.4.1