summaryrefslogtreecommitdiff
path: root/.prev-version
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2018-05-27 14:42:55 +0200
committerAkim Demaille <akim.demaille@gmail.com>2018-05-27 14:42:55 +0200
commit38d91ccd96bc2c2e517b5d937ebbe71a98c88954 (patch)
tree490e5f4a9c9ab9dc423d8c237f599d57199cb3c3 /.prev-version
parent0dfa650f59e9d533daa3c09508d71b90fc7ec026 (diff)
downloadbison-38d91ccd96bc2c2e517b5d937ebbe71a98c88954.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 b0f2dcb3..eca690e7 100644
--- a/.prev-version
+++ b/.prev-version
@@ -1 +1 @@
-3.0.4
+3.0.5