diff options
| author | Paul Eggert | 2017-09-29 17:44:23 -0700 |
|---|---|---|
| committer | Paul Eggert | 2017-09-29 17:48:22 -0700 |
| commit | cbc832448878f7bc7b226243abb8d8b1ae68a937 (patch) | |
| tree | 6613378d69f12e31eac1b0f2ab51a984ce4bae75 /doc/misc | |
| parent | bbda601d1d4e125c9d3c374b56eee3e2e9623f1d (diff) | |
| download | emacs-cbc832448878f7bc7b226243abb8d8b1ae68a937.tar.gz emacs-cbc832448878f7bc7b226243abb8d8b1ae68a937.zip | |
Prefer HTTPS to HTTP for gnu.org
This catches some URLs I missed in my previous scan,
or perhaps were added after the scan.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ChangeLog.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ChangeLog.1 b/doc/misc/ChangeLog.1 index 2b1571c0abb..bc2c184d412 100644 --- a/doc/misc/ChangeLog.1 +++ b/doc/misc/ChangeLog.1 | |||
| @@ -12131,4 +12131,4 @@ | |||
| 12131 | GNU General Public License for more details. | 12131 | GNU General Public License for more details. |
| 12132 | 12132 | ||
| 12133 | You should have received a copy of the GNU General Public License | 12133 | You should have received a copy of the GNU General Public License |
| 12134 | along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. | 12134 | along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>. |