From d0f91f245cff1cbe54805d1bf7d5598e9fa2ab78 Mon Sep 17 00:00:00 2001
From: rycee <rycee@users.noreply.github.com>
Date: Sun, 17 Nov 2024 08:35:31 +0000
Subject: [PATCH] deploy: 5056a1cf0ce7c2a08ab50713b6c4af77975f6111

---
 options.xhtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/options.xhtml b/options.xhtml
index fc00832ea..aa5463b62 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -8600,7 +8600,7 @@ typically requires performing some manual steps, such as data
 conversion or moving files.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-one of “18.09”, “19.03”, “19.09”, “20.03”, “20.09”, “21.03”, “21.05”, “21.11”, “22.05”, “22.11”, “23.05”, “23.11”, “24.05”, “24.11”</p>
+one of “18.09”, “19.03”, “19.09”, “20.03”, “20.09”, “21.03”, “21.05”, “21.11”, “22.05”, “22.11”, “23.05”, “23.11”, “24.05”, “24.11”, “25.05”</p>
 
 <p><span class="emphasis"><em>Declared by:</em></span></p>
 <table border="0" summary="Simple list" class="simplelist">