From 808b43c0aa6fa24aab2a5c19c9a915ba41b475d7 Mon Sep 17 00:00:00 2001
From: Andrew Engelbrecht <andrew@fsf.org>
Date: Tue, 29 Jun 2021 09:46:33 -0400
Subject: [PATCH] added an entry for jquery on rt.gnu.org

---
 rt.gnu.org/CURRENT/index.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/rt.gnu.org/CURRENT/index.html b/rt.gnu.org/CURRENT/index.html
index deb4ebc7..3daafcd4 100644
--- a/rt.gnu.org/CURRENT/index.html
+++ b/rt.gnu.org/CURRENT/index.html
@@ -137,6 +137,12 @@
   <td><a href="/rt.gnu.org/CURRENT/files/etc/jquery-1.9.1.js">jquery-1.9.1.js</a></td>
 </tr>
 
+<tr>
+  <td><a href="https://rt.gnu.org/static/js/jquery-1.12.4p1.min.js">jquery-1.12.4p1.min.js</a></td>
+  <td><a href="http://www.jclark.com/xml/copying.txt">Expat</a></td>
+  <td><a href="https://github.com/jquery/jquery">jquery</a></td>
+</tr>
+
 <tr>
   <td><a href="https://rt.gnu.org/static/js/jquery-ui-1.10.0.custom.min.js">jquery-ui-1.10.0.custom.min.js</a></td>
   <td><a href="http://www.jclark.com/xml/copying.txt">Expat</a></td>
-- 
2.25.1