Applied.
Gerald
Index: gcc-4.3/changes.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-4.3/changes.html,v
retrieving revision 1.133
diff -u -r1.133 changes.html
--- gcc-4.3/changes.html 2 Jun 2018 21:16:16 -0000 1.133
+++ gcc-4.3/changes.html 14 Jul 2018 21:01:20 -0000
@@ -21,7 +21,7 @@
<ul>
<li id="mpfrcaveats">GCC requires the <a
href="https://gmplib.org/";>GMP</a> and <a
- href="http://www.mpfr.org/";>MPFR</a> libraries for building all
+ href="https://www.mpfr.org";>MPFR</a> libraries for building all
the various front-end languages it supports. See the <a
href="https://gcc.gnu.org/install/prerequisites.html";>prerequisites
page</a> for version requirements.</li>
