From c29a62ada7cbe7ec47a340b2d2dc00a68a6df449 Mon Sep 17 00:00:00 2001
From: Daniel Weber <danielcweber@users.noreply.github.com>
Date: Tue, 23 Jul 2024 16:58:41 +0200
Subject: [PATCH] Set version to '12.7.2'

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

diff --git a/version.json b/version.json
index fcc5081a1..70e7856ba 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.7.2-preview.{height}",
+  "version": "12.7.2",
   "nuGetPackageVersion": {
     "semVer": 2.0
   },