Deploying to gh-pages from @ 0881c07 🚀

qt4cg · Jan 18, 2025 · 1ffecbc · 1ffecbc
1 parent a5977e2
commit 1ffecbc
Show file tree

Hide file tree

Showing 3 changed files with 357 additions and 184 deletions.
diff --git a/pr-status/changes.json b/pr-status/changes.json
@@ -1,4 +1,18 @@
 {
+"1712":
+[
+  {
+    "filename": "specifications/grammar-40/xpath-grammar.xml",
+    "status": "modified",
+    "sha": "f2efe9a74887c6674b8866bd1ead85cf948e12fd"
+  },
+  {
+    "filename": "specifications/xquery-40/src/expressions.xml",
+    "status": "modified",
+    "sha": "f08e7c1ac13945f432601f88ad2469ca0aacc462"
+  }
+]
+,
 "1711":
 [
   {