From ae96d7c388e52930a0c82f396855ee65d66598af Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Sat, 23 Dec 2023 05:43:42 +0000
Subject: [PATCH] Set default version to latest with mike 1.2.0.dev0