From e4306e2ddf2bb0c97d2698d53e706ea78fd9fb26 Mon Sep 17 00:00:00 2001
From: GitHub Action <github-action@users.noreply.github.com>
Date: Thu, 19 Oct 2023 14:50:18 +0000
Subject: [PATCH] Set title of 8.0 to 8.0 (LATEST) with mike 1.1.2