diff options
author | Laura Arjona Reina <larjona@debian.org> | 2019-02-17 20:32:20 +0100 |
---|---|---|
committer | Laura Arjona Reina <larjona@debian.org> | 2019-02-17 20:32:20 +0100 |
commit | 07162807462d48f6282cbf61386e273d9a8544fd (patch) | |
tree | ac1985628891c44244008984e90e37798a44ac47 /english/Bugs | |
parent | 7353c5e679f6b54331acd8beaa4bc75803efa6dd (diff) |
Comment mention of the bugs-search.debian.org since it's down, add UDD search instead. Closes: #910676
Diffstat (limited to 'english/Bugs')
-rw-r--r-- | english/Bugs/index.wml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/english/Bugs/index.wml b/english/Bugs/index.wml index f56162ff324..e5ef42a33da 100644 --- a/english/Bugs/index.wml +++ b/english/Bugs/index.wml @@ -119,9 +119,13 @@ forms, respectively:</p> <h2>Searching bug reports</h2> -<p>You can search bug reports using -our <a href="https://bugs.debian.org/cgi-bin/search.cgi">HyperEstraier -based search engine.</a></p> +## Link to bugs-search.d.o removed because of Bug#629645 (service down): +# <p>You can search bug reports using +# our <a href="https://bugs.debian.org/cgi-bin/search.cgi">HyperEstraier +# based search engine.</a></p> + +<p>The Ultimate Debian Database (UDD) provides a multi-criteria +<a href="https://udd.debian.org/bugs/">search engine for bugs</a>.</p> <p>Another way to search bug reports is to use <a href="https://groups.google.com/d/forum/linux.debian.bugs.dist">Google Groups</a>. |