diff options
| author | Jim Meyering <meyering@fb.com> | 2018-12-20 20:39:59 -0800 |
|---|---|---|
| committer | Jim Meyering <meyering@fb.com> | 2018-12-20 20:39:59 -0800 |
| commit | 143283696305441b7d909a8dc1622d30273b4752 (patch) | |
| tree | e9ae78f850c9c845212a18f7cebce8a7cf65543d /.prev-version | |
| parent | b19a5668e71f3f42601a02be6982089e4a182957 (diff) | |
| download | grep-143283696305441b7d909a8dc1622d30273b4752.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 a3ec5a4b..eb39e538 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -3.2 +3.3 |