Add a hand tool (+ other misc updates)

[xournal.git] / html-doc / manual.html

diff --git a/html-doc/manual.html b/html-doc/manual.html
index be75dea015668eb7605e5a7181e92acff986d1b9..fd272309a320a72435815ca825aa5bacfbb86541 100644 (file)
--- a/html-doc/manual.html
+++ b/html-doc/manual.html
@@ -501,7 +501,9 @@ Bug reports and suggestions can also be submitted on Xournal's
 <p>
 Version 0.3.1 (August 3, 2006):
 <ul>
- <li>fixed a file format bug on systems with non-standard numeric locale</li>
+ <li>fixed a file format bug on systems with non-standard numeric locale
+     (bug reported by Gert Renckens)</li>
+</ul>
 </p>
 <p>
 Version 0.3 (July 23, 2006):