Bump win32 version number in release notes

Signed-off-by: Austin Seipp <austin@well-typed.com>

(cherry picked from commit 044f2338)

docs/users_guide/7.8.1-notes.xml

@@ -1153,7 +1153,7 @@
         <itemizedlist>
             <listitem>
                 <para>
-                    Version number 2.3.0.0 (was 2.3.0.0)
+                    Version number 2.3.0.1 (was 2.3.0.0)
                </para>
            </listitem>
        </itemizedlist>