[commit: ghc] master: Mention #15050 in the release notes for 8.8.1 (f811685)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/f811685c3c1579333743da135c8cb80924aea4ce/ghc

>---------------------------------------------------------------

commit f811685c3c1579333743da135c8cb80924aea4ce
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Aug 6 09:58:27 2018 -0400

    Mention #15050 in the release notes for 8.8.1


>---------------------------------------------------------------

f811685c3c1579333743da135c8cb80924aea4ce
 docs/users_guide/8.8.1-notes.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst
index f77c50e..de5f978 100644
--- a/docs/users_guide/8.8.1-notes.rst
+++ b/docs/users_guide/8.8.1-notes.rst
@@ -22,6 +22,10 @@ Full details
 Language
 ~~~~~~~
 
+- :extension:`ScopedTypeVariables`: The type variable that a type signature on
+  a pattern can bring into scope can now stand for arbitrary types. Previously,
+  they could only stand in for other type variables, but this restriction was deemed
+  unnecessary in `GHC proposal #29 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0029-scoped-type-variables-types.rst>`__. Also see :ghc-ticket:`15050`.
 
 Compiler
 ~~~~~~~