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 <ger...@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>
