Move lifetime to IG attribute (#870)

SHA: 503311e Reason: push, by JensenPaul Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
WICG · Oct 24, 2023 · 040b9ae · 040b9ae
1 parent 8520a6b
commit 040b9ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -6,7 +6,7 @@
   <link href="https://www.w3.org/StyleSheets/TR/2021/cg-draft" rel="stylesheet">
   <meta content="Bikeshed version 82ce88815, updated Thu Sep 7 16:33:55 2023 -0700" name="generator">
   <link href="https://wicg.github.io/turtledove/" rel="canonical">
-  <meta content="919f1067fcc5980f815bd47bdac4144be428410f" name="document-revision">
+  <meta content="503311ea129d3603d66b067dad059b05c3da85f3" name="document-revision">
 <style>
 /* Put nice boxes around each algorithm. */
 [data-algorithm]:not(.heading) {