CI

whatwg · Jul 24, 2023 · 3ea72f7 · 3ea72f7
1 parent 2f178c5
commit 3ea72f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source b/source
@@ -13481,7 +13481,7 @@ Transport Protocol">HTTP&lt;/abbr> today.&lt;/p></code></pre> <!-- DO NOT REWRAP
    </dd>
   </dl>
 
-  <p>To compute <span>the auto directionality</span> given an element <var>element</var>:</p>
+  <p>To compute <dfn>the auto directionality</dfn> given an element <var>element</var>:</p>
 
   <ol>
    <li>