diff options
author | Jim Meyering <meyering@meta.com> | 2023-03-22 18:04:07 -0700 |
---|---|---|
committer | Jim Meyering <meyering@meta.com> | 2023-03-22 18:04:07 -0700 |
commit | 1d59f1b342e1ec681b87cb21788ec04ebd7a1c75 (patch) | |
tree | dab42408f31d0cd1a8f202b7a6be59f0bd6b1493 /.prev-version | |
parent | 0119aa8df1d74e1972914bd54ae9d982f053766c (diff) | |
download | grep-1d59f1b342e1ec681b87cb21788ec04ebd7a1c75.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 bd28b9c5..c8cfe395 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.9 +3.10 |