<hr>
</div>
-<h2 class="chapter">8 Reporting problems</h2>
+<h2 class="chapter">9 Reporting problems</h2>
-<p><a name="index-Bugs-437"></a><a name="index-Bug-reports-438"></a><a name="index-Reporting-bugs-439"></a><a name="index-Problems-440"></a><a name="index-Reporting-problems-441"></a>
+<p><a name="index-Bugs-463"></a><a name="index-Bug-reports-464"></a><a name="index-Reporting-bugs-465"></a><a name="index-Problems-466"></a><a name="index-Reporting-problems-467"></a>
You can report bugs and problems with XBoard using
the bug tracker at <code>https://savannah.gnu.org/projects/xboard/</code>
or by sending mail to <code><bug-xboard@gnu.org></code>. It can also