Merge branch 'maint'

[bison.git] / TODO

diff --git a/TODO b/TODO
index 051ca7c6bc246f85264346ef6922034c95774fca..40127468d04b52dc2e6b453248c774fc50425b53 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,4 +1,5 @@
 * Short term
 * Short term

+

 ** push-parser
 Check it too when checking the different kinds of parsers.  And be
 sure to check that the initial-action is performed once per parsing.
 ** push-parser
 Check it too when checking the different kinds of parsers.  And be
 sure to check that the initial-action is performed once per parsing.