diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-02-03 14:56:05 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-02-03 14:56:05 +0100 |
commit | 3d25b52a108dc8fbd93040d2fdc6324a8e140fae (patch) | |
tree | 8a22147dec3530386e8f7d0c3932de42c38ea1d3 /.prev-version | |
parent | 437f6250c5e8e49d1d3bf437246f1d034897728e (diff) | |
download | bison-3d25b52a108dc8fbd93040d2fdc6324a8e140fae.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 bea438e9..47725433 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.3.1 +3.3.2 |