🎉 release time!

fonsp · fonsp · commit df0cf89cb880 · 2022-11-01T23:59:52.000+01:00
diff --git a/extra_outputs/index.html b/extra_outputs/index.html
@@ -4,7 +4,7 @@
 <head>
     <meta charset="utf-8">
     <script>
-        window.location.href = "Spring21"
+        window.location.href = "Fall22"
     </script>
 </head>
 
