Merge pull request #3192 from foxyseta/patch-1

fix: singing dragon link
idris-lang · Jan 13, 2024 · 90bf2de · 90bf2de
2 parents da6f0b0 + bd9664a
commit 90bf2de
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/source/faq/faq.rst b/docs/source/faq/faq.rst
@@ -337,8 +337,9 @@ What does the name “Idris” mean?
 ================================
 
 British people of a certain age may be familiar with this
-`singing dragon <https://www.youtube.com/watch?v=G5ZMNyscPcg>`_. If
-that doesn’t help, maybe you can invent a suitable acronym :-) .
+`singing dragon
+<https://web.archive.org/web/20160531194307/https://www.youtube.com/watch?v=G5ZMNyscPcg>`_.
+If that doesn’t help, maybe you can invent a suitable acronym :-) .
 
 Where can I find the community standards for the Idris community?
 ==================================================================