diff options
| -rw-r--r-- | docs/users_guide/7.0.1-notes.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/7.0.1-notes.xml b/docs/users_guide/7.0.1-notes.xml index 1c10827a7a..0e6ffb4388 100644 --- a/docs/users_guide/7.0.1-notes.xml +++ b/docs/users_guide/7.0.1-notes.xml @@ -852,7 +852,7 @@ Prelude| :} <itemizedlist> <listitem> <para> - Version number 1.9.2 (was 1.8.0.6) + Version number 1.10.0.0 (was 1.8.0.6) </para> </listitem> |