Merge pull request #102 from jkup/process-change

SHA: 7b28d72 Reason: push, by jkup Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
tc39 · Jun 25, 2024 · 02447dc · 02447dc
1 parent 5d7f3dc
commit 02447dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -1490,7 +1490,7 @@
 </style>
   <meta content="Bikeshed version a1dabb26c, updated Mon Jun 17 15:00:44 2024 -0700" name="generator">
   <link href="https://source-map.github.io/source-map-spec/" rel="canonical">
-  <meta content="754bdc39c781b1c48f09ff7b58bf982953ae929a" name="revision">
+  <meta content="7b28d726f26b411bdb3572ccff050c1e3604ee9d" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>/* Boilerplate: style-autolinks */
 .css.css, .property.property, .descriptor.descriptor {