From 155f520104ceb25af9ed2b3b8d4dfa00a4f0e50f Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Tue, 27 Jun 2023 15:43:33 +0100
Subject: [PATCH] Set default version to latest with mike 1.1.2

-- 
GitLab