From ddfd2067aeb20a58cf668efce5fd9e745f546ac4 Mon Sep 17 00:00:00 2001
From: Brian Paul <brian.paul@tungstengraphics.com>
Date: Sun, 5 Dec 2004 18:03:21 +0000
Subject: [PATCH] report bugs at freedesktop.org

---
 docs/bugs.html | 18 ++++++++++++++----
 1 file changed, 14 insertions(+), 4 deletions(-)

diff --git a/docs/bugs.html b/docs/bugs.html
index 76507b895e6..0ace15138ea 100644
--- 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>
-- 
2.30.2