Markup: delete 'es6num' comments (tc39#1904)

(re tc39#1597, see tc39#1237)
jmdyck · Mar 21, 2020 · ab3593c · ab3593c
1 parent c695f9a
commit ab3593c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/spec.html b/spec.html
@@ -24080,7 +24080,6 @@ <h1>Runtime Semantics: GetModuleNamespace ( _module_ )</h1>
         </emu-note>
       </emu-clause>
 
-      <!-- es6num="15.2.1.20" -->
       <emu-clause id="sec-module-semantics-runtime-semantics-evaluation">
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>Module : [empty]</emu-grammar>
@@ -24728,7 +24727,6 @@ <h1>Error Handling and Language Extensions</h1>
     </li>
   </ul>
 
-  <!-- es6num="16.1" -->
   <emu-clause id="sec-forbidden-extensions">
     <h1>Forbidden Extensions</h1>
     <p>An implementation must not extend this specification in the following ways:</p>