From fbb8f43d69df276c23e057fb307acc838828c8dd Mon Sep 17 00:00:00 2001
From: Heinrich Apfelmus <apfelmus@quantentunnel.de>
Date: Wed, 25 Dec 2024 13:23:43 +0100
Subject: [PATCH] Bump patch-level version number

---
 CHANGELOG.md         | 4 ++++
 threepenny-gui.cabal | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 39c100d..e1228ca 100644
--- 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
index 1bda00b..94c1971 100644
--- 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.