diff options
Diffstat (limited to 'docs/users_guide/8.10.1-notes.rst')
-rw-r--r-- | docs/users_guide/8.10.1-notes.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/8.10.1-notes.rst b/docs/users_guide/8.10.1-notes.rst index 4e9a9fc613..8ed46e7f36 100644 --- a/docs/users_guide/8.10.1-notes.rst +++ b/docs/users_guide/8.10.1-notes.rst @@ -1,7 +1,7 @@ .. _release-8-10-1: -Release notes for version 8.10.1 -================================ +Version 8.10.1 +============== The significant changes to the various parts of the compiler are listed in the following sections. |