diff options
author | Jim Meyering <meyering@fb.com> | 2020-09-27 19:50:58 -0700 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2020-09-27 19:50:58 -0700 |
commit | 111b8b59273d14afee2386611d5e10e22e507864 (patch) | |
tree | c6faf341b41470709ba1a34de4196acea05fc76e /.prev-version | |
parent | ecb16a23a560a13d356d35ac17b531e6f145e03b (diff) | |
download | grep-111b8b59273d14afee2386611d5e10e22e507864.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..5a958026 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.4 +3.5 |