diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-29 21:15:10 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-29 21:15:10 +0100 |
commit | 50fac71d462e70f2c8907320cffac95a6849ef6d (patch) | |
tree | 48422f119a917f455e8ec997203fe36a5308c7ca /.prev-version | |
parent | a8455b072ae22e6144bd0385a0c4e1815d37b014 (diff) | |
download | bison-50fac71d462e70f2c8907320cffac95a6849ef6d.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-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.prev-version b/.prev-version index d1aca36c..a3ec5a4b 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.1.91 +3.2 |