From e5e6dbd7415f1c84d0d0e7cb827e1fb4d7cbe4ad Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Tue, 28 Feb 2023 18:40:40 -0500 Subject: [PATCH] NEWS update. --- NEWS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/NEWS b/NEWS index 78f302c..25bdb0c 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,8 @@ = Open Adventure project news = +Repository head:: + Fixed slightly buggy emission of end-of-game messages on a win. + 1.12: 2023-02-06:: The bug and todo list has been cleared. Correctness has been systematically tested against the 1995 code. -- 2.31.1