From 3332d90ad76446d4d124880a29b0717e78203ecb Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Fri, 8 Apr 2016 08:31:30 +0000
Subject: [PATCH 1/1] Manually change the most recent release on the homepage
 to 3.0.24 again

... so I can replace the file on the website before
the next release.
---
 doc/webserver/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/webserver/index.html b/doc/webserver/index.html
index fd0f308a..560bcd67 100644
--- a/doc/webserver/index.html
+++ b/doc/webserver/index.html
@@ -52,7 +52,7 @@
           </ul>
 
           <p>The most recent release is <a href="announce.txt" target=
-          "_top">3.0.25 (UNRELEASED)</a>.</p>
+          "_top">3.0.24 (stable)</a>.</p>
         </div>
       </div>
       <hr>
-- 
2.39.2