Committed.

Gerald

2019-10-25  Gerald Pfeifer  <gerald@pfeifer.com>

	* doc/xml/gnu/gpl-3.0.xml: Switch www.gnu.org to https.

Index: libstdc++-v3/doc/xml/gnu/gpl-3.0.xml
===================================================================
--- libstdc++-v3/doc/xml/gnu/gpl-3.0.xml	(revision 277213)
+++ libstdc++-v3/doc/xml/gnu/gpl-3.0.xml	(working copy)
@@ -829,6 +829,6 @@ under certain conditions; type ¡<literal>show c<
     subroutine library, you may consider it more useful to permit linking
     proprietary applications with the library.  If this is what you want to do,
     use the <acronym>GNU</acronym> Lesser General Public License instead of this
-    License.  But first, please read <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.gnu.org/philosophy/why-not-lgpl.html">http://www.gnu.org/philosophy/why-not-lgpl.html</link>.
+    License.  But first, please read <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="https://www.gnu.org/philosophy/why-not-lgpl.html">https://www.gnu.org/philosophy/why-not-lgpl.html</link>.
   </para>
 </appendix>