1 files changed, 0 insertions, 3 deletions
diff --git a/devel.wml b/devel.wml
index 6269693dde..c729c8d6c7 100644
--- a/devel.wml
+++ b/devel.wml
@@ -1,8 +1,5 @@
 #include 'common.wml' page="Development"
 
-<h1>Reporting bugs</h1>
-To report a bug, see <a href="support.html">the dedicated page</a>.
-
 <h1>API and ABI</h1>
 <p>
 Our goal is to deliver a stable API and ABI for the library, but on certain