diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-04-05 09:27:36 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-04-05 09:27:36 +0200 |
| commit | 6c44f2dce31f5d19d09dfae7f58921e767842e29 (patch) | |
| tree | a355bcd42ba50eca1c94cfb490378f1206ca7a98 /.prev-version | |
| parent | 5604903f7a670c287c630cdb9686e5f02481ede0 (diff) | |
| download | bison-6c44f2dce31f5d19d09dfae7f58921e767842e29.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 444877d4..65afb3b8 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.5.3 +3.5.4 |