[libstdc++,doc] doc/xml/manual/allocator.xml - move hoard.org back to http

[Gerald Pfeifer]

hoard.org is a bit strange in that https is broken (certificate 
problem), so switch that back to plain http.

Committed.

Gerald

2019-05-31  Gerald Pfeifer  <gerald@pfeifer.com>

	* doc/xml/manual/allocator.xml: Move hoard.org back to http.

Index: doc/xml/manual/allocator.xml
===================================================================
--- doc/xml/manual/allocator.xml	(revision 271813)
+++ doc/xml/manual/allocator.xml	(working copy)
@@ -500,7 +500,7 @@
   <biblioentry>
       <title>
 	<link xmlns:xlink="http://www.w3.org/1999/xlink"
-	      xlink:href="https://www.hoard.org">
+	      xlink:href="http://hoard.org">
       The Hoard Memory Allocator
 	</link>
       </title>