report bugs at freedesktop.org

diff --git a/docs/bugs.html b/docs/bugs.html
index 76507b895e60c7d4e26080e63c7e5089a009669b..0ace15138ea6367895f86f24df36db0360e4b2ef 100644 (file)
--- a/docs/bugs.html
+++ b/docs/bugs.html
@@ -7,11 +7,20 @@
 <H1>Bug Database</H1>
 
 <p>
-Bug reports can be filed in the Bugzilla database hosted on
-<a href="http://freedesktop.org" target="_parent">freedesktop.org</a>.
+The Mesa bug database is now hosted on
+<a href="http://freedesktop.org" target="_parent">freedesktop.org</a>
+instead of SourceForge.
 </p>
+
+<p>
+To file a Mesa bug, go to
+<a href="https://bugs.freedesktop.org/enter_bug.cgi?product=Mesa"
+target="_parent">
+Bugzilla on freedesktop.org</a>
+</p>
+
 <p>
-Please follow these guidelines:
+Please follow these bug reporting guidelines:
 </p>
 
 <ul>
@@ -23,7 +32,8 @@ Please follow these guidelines:
 </ul>
 
 <p>
-Bug reports will automatically be forwarded to the Mesa developer's list.
+Bug reports will automatically be forwarded to the Mesa developer's mailing
+list.
 </p>
 
 <p>