diff --git a/CHANGES.md b/CHANGES.md
index f26f2a6..6fb1be4 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -16,6 +16,12 @@
 
 ### Bug Fixes
 
+## 0.17.2 (April 2, 2023)
+
+### Bug Fixes
+
+  * Fixed the build with GHC 9.6.
+
 ## 0.17.1 (September 3, 2022)
 
 ### Enhancements
diff --git a/INSTALL.md b/INSTALL.md
index d1d65a7..ced519f 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -101,7 +101,7 @@ This will give you the latest `HEAD`; if you want you can also check
 out a tagged release, e.g.:
 
 ``` console
-$ git clone --branch v0.17.1 https://github.com/xmonad/xmonad
+$ git clone --branch v0.17.2 https://github.com/xmonad/xmonad
 $ git clone --branch v0.17.1 https://github.com/xmonad/xmonad-contrib
 ```
 
diff --git a/xmonad.cabal b/xmonad.cabal
index 538ff3a..097421e 100644
--- a/xmonad.cabal
+++ b/xmonad.cabal
@@ -1,5 +1,5 @@
 name:               xmonad
-version:            0.17.1.9
+version:            0.17.2
 synopsis:           A tiling window manager
 description:        xmonad is a tiling window manager for X. Windows are arranged
                     automatically to tile the screen without gaps or overlap, maximising