diff options
| author | Jim Meyering <meyering@fb.com> | 2020-01-14 20:10:42 -0800 |
|---|---|---|
| committer | Jim Meyering <meyering@fb.com> | 2020-01-14 20:10:42 -0800 |
| commit | 8827762c4ae3b7b45a218e646991dfaaeadff588 (patch) | |
| tree | 6083f1e780e29f5b25159af74e051c6da1cf1f13 /.prev-version | |
| parent | 62059985637cfafd41d8a8a2a7a63566daf59405 (diff) | |
| download | sed-8827762c4ae3b7b45a218e646991dfaaeadff588.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 4f8c639..ef216a5 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -4.7 +4.8 |