From 11cef81c77ccbade8c967091653d8dcab90c4f85 Mon Sep 17 00:00:00 2001
From: Bjarke Berg <mail@bergmania.dk>
Date: Tue, 19 Dec 2023 14:21:00 +0100
Subject: [PATCH] Bump version

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

diff --git a/version.json b/version.json
index 26ecc33103..a04a865bbf 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": "13.0.1",
+  "version": "13.0.2",
   "assemblyVersion": {
     "precision": "build"
   },