diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-17 07:11:56 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-17 07:11:56 +0200 |
commit | f5fc21240f2e0b3c208e8072569e4eef1db26022 (patch) | |
tree | 9e20b81553230295047e879b3a4412b8a04deb61 /.prev-version | |
parent | ebddc0a0d2c400063c62fbce85d255a4580068c9 (diff) | |
download | bison-f5fc21240f2e0b3c208e8072569e4eef1db26022.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 8c50098d..e55b56f5 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.1 +3.1.90 |