[gnome-mines] help: Fix obsolete product url of bugzilla

[Ekaterina Gerasimova <egerasimov src gnome org>]

commit d35f31724cf31cc8c71acdaf18815a7ff25bc42e
Author: Jiro Matsuzawa <jmatsuzawa gnome org>
Date:   Sun Apr 14 22:19:09 2013 +0900

    help: Fix obsolete product url of bugzilla
    
    https://bugzilla.gnome.org/show_bug.cgi?id=697997

 help/C/bug-filing.page | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)
---
diff --git a/help/C/bug-filing.page b/help/C/bug-filing.page
index a054cd7..96419a0 100644
--- a/help/C/bug-filing.page
+++ b/help/C/bug-filing.page
@@ -28,10 +28,15 @@
    <p>
    To participate you need an account which will give you the ability to gain access, file bugs, and make 
comments.  Also, you need to register so you can receive updates by e-mail about the status of your bug. If 
you don't already have an account, just click on the <gui>New Account</gui> link to create one.
    </p>
-   <p>
-   Once you have an account, log in, click on <guiseq><gui>File a 
Bug</gui><gui>Applications</gui><gui>gnome-mines</gui></guiseq>.
-   Before reporting a bug, please read the <link href = 
"https://bugzilla.gnome.org/page.cgi?id=bug-writing.html";>bug writing guidelines</link>,  and please <link 
href="https://bugzilla.gnome.org/browse.cgi?product=gnome-games";>browse</link> for the bug to see if it 
already exists.
-   </p>
+
+  <p>Once you have an account, log in, click on <guiseq><gui>File a
+  Bug</gui><gui>Applications</gui><gui>gnome-mines</gui></guiseq>. Before
+  reporting a bug, please read the
+  <link href="https://bugzilla.gnome.org/page.cgi?id=bug-writing.html";>bug
+  writing guidelines</link>, and please
+  <link href="https://bugzilla.gnome.org/browse.cgi?product=gnome-mines";>browse</link>
+  for the bug to see if it already exists.</p>
+
    <p>
    If you are requesting a new feature, choose <gui>enhancement</gui> in the <gui>Severity</gui> menu.
    Fill in the Summary and Description sections and click <gui>Commit</gui>.