diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-13 00:48:18 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-13 00:48:57 -0700 |
commit | ca35d468121a7ec60162155f9c3395068ca323d1 (patch) | |
tree | 21dda8c53d99e346571693406a75bdb24e67b7d1 /build-aux/do-release-commit-and-tag | |
parent | 9dd86e23c6c1ab02723efdeb6704920724d6abfc (diff) | |
download | gnulib-ca35d468121a7ec60162155f9c3395068ca323d1.tar.gz |
all: prefer https: URLs
Diffstat (limited to 'build-aux/do-release-commit-and-tag')
-rwxr-xr-x | build-aux/do-release-commit-and-tag | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build-aux/do-release-commit-and-tag b/build-aux/do-release-commit-and-tag index b72b15c0dd..76d173ec90 100755 --- a/build-aux/do-release-commit-and-tag +++ b/build-aux/do-release-commit-and-tag @@ -3,7 +3,7 @@ # controlled .prev-version file, automate the procedure by which we record # the date, release-type and version string in the NEWS file. That commit # will serve to identify the release, so apply a signed tag to it as well. -VERSION=2016-12-31.14 # UTC +VERSION=2017-09-13.06 # UTC # Note: this is a bash script (could be zsh or dash) @@ -20,7 +20,7 @@ VERSION=2016-12-31.14 # UTC # GNU General Public License for more details. # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. # Written by Jim Meyering @@ -67,7 +67,7 @@ version() cat <<EOF $ME $VERSION Copyright (C) $year Free Software Foundation, Inc, -License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> +License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. EOF |