diff options
| author | Jim Meyering <meyering@fb.com> | 2022-09-02 23:54:04 -0700 |
|---|---|---|
| committer | Jim Meyering <meyering@fb.com> | 2022-09-02 23:54:04 -0700 |
| commit | 65e303a17ed8f19d60e569e5c9cda80843a10bff (patch) | |
| tree | 3941e0f920cc2737ce641ecfd8680e7944afaf17 /.prev-version | |
| parent | 958bcc3adac8bf8a0f8290ea855f9b4e4d445a1b (diff) | |
| download | grep-65e303a17ed8f19d60e569e5c9cda80843a10bff.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 475ba515..cc1923a4 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.7 +3.8 |