From 0431430a37f21593677292f8a752551384f1dcdc Mon Sep 17 00:00:00 2001
From: Troels Henriksen <athas@sigkill.dk>
Date: Fri, 25 Oct 2024 09:22:52 +0200
Subject: [PATCH] this is 1.2.3.0.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index dd1dd16..8536afe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for futhark-server
 
+## 1.2.3.0 -- 2024-10-25
+
+* Add `abortServer`.
+
 ## 1.2.2.1 -- 2023-03-21
 
 * Support GHC 9.6.
diff --git a/futhark-server.cabal b/futhark-server.cabal
index 0385c99..aba72a9 100644
--- a/futhark-server.cabal
+++ b/futhark-server.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               futhark-server
-version:            1.2.2.1
+version:            1.2.3.0
 synopsis: Client implementation of the Futhark server protocol.
 
 description: Provides an easy way to interact with a running Futhark