From 7f1b2162c6f3130c0d56a2cb39b79e7ed0317bcf Mon Sep 17 00:00:00 2001
From: OpenUI5 Bot <openui5@sap.com>
Date: Sun, 3 Dec 2023 03:21:53 +0000
Subject: [PATCH] Set default version to stable with mike 1.2.0.dev0