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