diff --git a/docs/bugs.html b/docs/bugs.html index e0a4821b3..031e1c97d 100644 --- a/docs/bugs.html +++ b/docs/bugs.html @@ -189,7 +189,7 @@

If the current nightly build doesn't resolve your problem, it is possible that someone else has reported the issue. It is time to - look at . This system is easy to use, and it will + look at the bug database. This system is easy to use, and it will let you search the currently open and resolved bugs to see if your problem has already been reported. If your problem has been reported, you can diff --git a/xdocs/bugs.xml b/xdocs/bugs.xml index 7ea20ad4c..15b72a7ac 100644 --- a/xdocs/bugs.xml +++ b/xdocs/bugs.xml @@ -36,7 +36,7 @@

If the current nightly build doesn't resolve your problem, it is possible that someone else has reported the issue. It is time to - look at . This system is easy to use, and it will + look at the bug database. This system is easy to use, and it will let you search the currently open and resolved bugs to see if your problem has already been reported. If your problem has been reported, you can