From 87bb405334e0144565bf1c24615adea74980472b Mon Sep 17 00:00:00 2001 From: OpenUI5 Bot Date: Sun, 12 Nov 2023 03:22:14 +0000 Subject: [PATCH] Set default version to stable with mike 1.2.0.dev0