summaryrefslogtreecommitdiff
path: root/.prev-version
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-02-13 19:11:16 +0100
committerAkim Demaille <akim.demaille@gmail.com>2020-02-13 19:11:16 +0100
commit26c5f48c1c28a7c6c16ca578873bc83941ea4f76 (patch)
tree2db94962119ecd99519e8bd9e1c47a94aaac1558 /.prev-version
parent7f921d18dd18d9c123ed8eae85f7dbfec5056722 (diff)
downloadbison-26c5f48c1c28a7c6c16ca578873bc83941ea4f76.tar.gz
maint: post-release administrivia
* NEWS: Add header line for next release. * .prev-version: Record previous version. * cfg.mk (old_NEWS_hash): Auto-update.
Diffstat (limited to '.prev-version')
-rw-r--r--.prev-version2
1 files changed, 1 insertions, 1 deletions
diff --git a/.prev-version b/.prev-version
index d5c0c991..87ce4929 100644
--- a/.prev-version
+++ b/.prev-version
@@ -1 +1 @@
-3.5.1
+3.5.2