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 /top/README-release | |
| parent | 9dd86e23c6c1ab02723efdeb6704920724d6abfc (diff) | |
| download | gnulib-ca35d468121a7ec60162155f9c3395068ca323d1.tar.gz | |
all: prefer https: URLs
Diffstat (limited to 'top/README-release')
| -rw-r--r-- | top/README-release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/README-release b/top/README-release index 17f026a2c7..b3654d2d72 100644 --- a/top/README-release +++ b/top/README-release @@ -97,4 +97,4 @@ Once all the builds and tests have passed, to update the on-line manual accessible at - http://www.gnu.org/software/@PACKAGE@/manual/ + https://www.gnu.org/software/@PACKAGE@/manual/ |