Merge branch 'gh-pages' into minimum-role

w3c · Nov 7, 2023 · 8bd08ac · 8bd08ac
2 parents 1e217e1 + 14cdf18
commit 8bd08ac
Show file tree

Hide file tree

Showing 2 changed files with 16,337 additions and 6,301 deletions.
diff --git a/common/script/mapping-tables.js b/common/script/mapping-tables.js