diff options
Diffstat (limited to 'docs/users_guide/index.rst')
| -rw-r--r-- | docs/users_guide/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/index.rst b/docs/users_guide/index.rst index 11718d81b1..c98434c045 100644 --- a/docs/users_guide/index.rst +++ b/docs/users_guide/index.rst @@ -15,6 +15,7 @@ Contents: 8.6.1-notes 8.6.2-notes 8.6.3-notes + 8.6.4-notes ghci runghc usage |