diff options
| author | Jim Meyering <meyering@fb.com> | 2017-07-02 13:22:04 -0700 |
|---|---|---|
| committer | Jim Meyering <meyering@fb.com> | 2017-07-02 13:22:04 -0700 |
| commit | 2e1eb68ef8d131a9f37d739f1c4533217d91d38d (patch) | |
| tree | 55619ff844f8d668f734efd26aef5aed89e6fed7 /.prev-version | |
| parent | 409e09e47c1506a2d517b4e2e14c3f69681b5eea (diff) | |
| download | grep-2e1eb68ef8d131a9f37d739f1c4533217d91d38d.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 9f55b2cc..8c50098d 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.0 +3.1 |