diff options
| author | Gary V. Vaughan <gary@gnu.org> | 2015-01-19 17:00:14 +0000 |
|---|---|---|
| committer | Gary V. Vaughan <gary@gnu.org> | 2015-01-19 17:00:14 +0000 |
| commit | 8cb6741f5ce38556e9d714e7a38c0b04daba36a4 (patch) | |
| tree | 83290221e754198ea5bac6da67bdbf0751a403d5 /.prev-version | |
| parent | cb90d8ed964125d44d56e26951833e04ab82bc01 (diff) | |
| download | libtool-8cb6741f5ce38556e9d714e7a38c0b04daba36a4.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 79a61441..59aa62c1 100644 --- a/.prev-version +++ b/.prev-version @@ -1 +1 @@ -2.4.4 +2.4.5 |