From 1f39a0bc8800fa72b11e791272430314857b6378 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 19 Sep 2024 15:36:26 +0200
Subject: [PATCH] fixup! fixup! search: link to "pretty" URLs

---
 assets/js/application.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/assets/js/application.js b/assets/js/application.js
index 4c9dfcc9c0..1a1ab8c0fc 100644
--- a/assets/js/application.js
+++ b/assets/js/application.js
@@ -373,7 +373,7 @@ var Search = {
       },
       processResult: function (result) {
         result.url = result.url.replace(/\.html$/, "")
-	return result
+        return result
       },
     });