From 3e6e51cf5c932453ce5614865c5729abac15ec39 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 4 Jul 2020 12:12:33 +0200
Subject: [PATCH] news: update

---
 NEWS | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/NEWS b/NEWS
index 2defab4a..a3b3efc4 100644
--- a/NEWS
+++ b/NEWS
@@ -80,10 +80,6 @@ GNU Bison NEWS
     filename_type       -> api.filename.type
     package             -> api.package
 
-*** Push parser state
-
-** Backward incompatible changes
-
 *** Push parsers no longer clear their state when parsing is finished
 
   Previously push-parsers cleared their state when parsing was finished (on
@@ -4361,7 +4357,7 @@ LocalWords:  yysymbol yytnamerr yyreport ctx ARGMAX yysyntax stderr LPAREN
 LocalWords:  symrec yypcontext TOKENMAX yyexpected YYEMPTY yypstate YYEOF
 LocalWords:  autocompletion bistromathic submessages Cayuela lexcalc hoc
 LocalWords:  yytoken YYUNDEF YYerror basename Automake's UTF ifdef ffile
-LocalWords:  gotos readline
+LocalWords:  gotos readline Imbimbo Wcounterexamples
 
 Local Variables:
 ispell-dictionary: "american"