Merge staging-next into staging

2025-08-21 12:43:40 +00:00
parent 876dc057be 0f43cdad33
commit 7099ae2a7e
254 changed files with 1092 additions and 732 deletions
--- a/doc/redirects.json
+++ b/doc/redirects.json
@@ -130,6 +130,15 @@
  "minor-ghc-deprecation": [
    "index.html#minor-ghc-deprecation"
  ],
+  "modules": [
+    "index.html#modules"
+  ],
+  "modules-generic": [
+    "index.html#modules-generic"
+  ],
+  "modules-generic-meta-maintainers": [
+    "index.html#modules-generic-meta-maintainers"
+  ],
  "neovim": [
    "index.html#neovim"
  ],