added an entry for jquery on rt.gnu.org

diff --git a/rt.gnu.org/CURRENT/index.html b/rt.gnu.org/CURRENT/index.html
index deb4ebc7800a0a61c80cc428533608cb6ab49e4e..3daafcd451e45e7e9b3bfa0ad73eeb8cec8076bd 100644 (file)
--- 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>