Add exceptions for IPR failures (#109)

SHA: 754bdc3 Reason: push, by nicolo-ribaudo Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
tc39 · Jun 25, 2024 · 5d7f3dc · 5d7f3dc
1 parent a220c36
commit 5d7f3dc
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="0067d9f6b20153c95621a2a17d7e4aff5633e52a" name="revision">
+  <meta content="754bdc39c781b1c48f09ff7b58bf982953ae929a" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>/* Boilerplate: style-autolinks */
 .css.css, .property.property, .descriptor.descriptor {