From b12d88818d470fe6cf0380e48744edb770519963 Mon Sep 17 00:00:00 2001
From: Bjarke Berg <mail@bergmania.dk>
Date: Mon, 6 Nov 2023 17:54:38 +0100
Subject: [PATCH] bump version

---
 version.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.json b/version.json
index 220f9d3fc6..006a78b8bd 100644
--- a/version.json
+++ b/version.json
@@ -1,6 +1,6 @@
 {
   "$schema": "https://raw.githubusercontent.com/dotnet/Nerdbank.GitVersioning/main/src/NerdBank.GitVersioning/version.schema.json",
-  "version": "12.4.0-rc",
+  "version": "12.3.1",
   "assemblyVersion": {
     "precision": "build"
   },