Bump patch-level version number

HeinrichApfelmus · Dec 25, 2024 · fbb8f43 · fbb8f43
1 parent b80cd80
commit fbb8f43
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 ## Changelog for the `threepenny-gui` package
 
+**0.9.4.2** – Maintenance and snapshot release
+
+* Bump dependencies for compatibility with GHC-9.12.
+
 **0.9.4.1** – Maintenance and snapshot release
 
 * Bump dependencies for compatibility with GHC-9.8.

diff --git a/threepenny-gui.cabal b/threepenny-gui.cabal
@@ -1,5 +1,5 @@
 name:                threepenny-gui
-version:             0.9.4.1
+version:             0.9.4.2
 synopsis:            GUI framework that uses the web browser as a display.
 description:
     Threepenny-GUI is a GUI framework that uses the web browser as a display.