release of 4.5.1

[xboard.git] / manual / html_node / Problems.html

diff --git a/manual/html_node/Problems.html b/manual/html_node/Problems.html
index dda7dee..4c6a3e2 100644 (file)
--- a/manual/html_node/Problems.html
+++ b/manual/html_node/Problems.html
@@ -33,7 +33,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
 
 <h2 class="chapter">8 Reporting problems</h2>
 
-<p><a name="index-Bugs-403"></a><a name="index-Bug-reports-404"></a><a name="index-Reporting-bugs-405"></a><a name="index-Problems-406"></a><a name="index-Reporting-problems-407"></a>
+<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>
 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>&lt;bug-xboard@gnu.org&gt;</code>.  It can also