Allow some SIG refs to be picked up from comments without separate SIG name. Closes #134

2026-09-20 14:27:42 +00:00 · 2026-08-31 20:49:15 +01:00
parent e4738b2c7d
commit 892827f1f8
15 changed files with 111 additions and 49 deletions
@@ -84,7 +84,7 @@

 </div>

-<script src="/static/js/alerts.js?v=1788197899"></script>
+<script src="/static/js/alerts.js?v=1788205756"></script>
 <script>$(document).ready(function () {
    $("#nav-link-alerts").addClass("active");
 }); <!-- highlight active page in nav --></script>