From 4a72a8ec16d09bcf690af45221df615017ee9c0f Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 25 Dec 2025 06:36:18 +0000 Subject: [PATCH] Set title of 0.12.0 to 0.12.0 (stable) with mike 2.1.3 --- versions.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/versions.json b/versions.json index e9dbbd26..dd236bdc 100644 --- a/versions.json +++ b/versions.json @@ -6,7 +6,7 @@ }, { "version": "0.12.0", - "title": "0.12.0", + "title": "0.12.0 (stable)", "aliases": [ "stable" ]