diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-22 07:45:49 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-22 07:45:49 +0200 |
commit | 8d3e782e05ee71a2ada32217f67121515956057a (patch) | |
tree | 44ea4523e69725620b9f64491cfa5456e11dc97f /.prev-version | |
parent | 1c671bad33537dc91c628b982f006a47d1fdce6c (diff) | |
download | bison-8d3e782e05ee71a2ada32217f67121515956057a.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 2f4b6075..47b322c9 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.4 +3.4.1 |