diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-01-19 14:35:50 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-01-19 14:35:50 +0100 |
commit | 7e3a513d886a3334f9fac66183cba3d67a0a7fdf (patch) | |
tree | 97b649e1d86adbbcb2e8c2fa200db2fa693f88e6 /.prev-version | |
parent | 57f64ebbf83c98e08fbfc5737d5b71878bbfd9e2 (diff) | |
download | bison-7e3a513d886a3334f9fac66183cba3d67a0a7fdf.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 5a958026..d5c0c991 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.5 +3.5.1 |