Pushed. Gerald.

---
 htdocs/bugs/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/bugs/index.html b/htdocs/bugs/index.html
index a6631d8a..88fba1b9 100644
--- a/htdocs/bugs/index.html
+++ b/htdocs/bugs/index.html
@@ -300,7 +300,7 @@ to round to the nearest representable number.</p>
 
 <p>This is not a bug in the compiler, but an inherent limitation of
 the floating point types. Please study
-<a href="http://www.validlab.com/goldberg/paper.ps";>this paper</a>
+<a href="https://www.validlab.com/goldberg/paper.ps";>this paper</a>
 for more information.</p></dd>
 </dl>
 
-- 
2.28.0

Reply via email to