diff options
author | Jim Meyering <meyering@fb.com> | 2018-12-20 22:04:03 -0800 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2018-12-20 22:04:03 -0800 |
commit | c0a4f0643f69b936117c9cb0ac32e48c3ee4ef55 (patch) | |
tree | c7f73fa0d3cb0d78751aad325415d64e035e8e17 /.prev-version | |
parent | 249cbda41caad6d0320fcabafe9a9f7f3384f418 (diff) | |
download | sed-c0a4f0643f69b936117c9cb0ac32e48c3ee4ef55.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 b3d791d..4f8c639 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -4.6 +4.7 |