Editorial: Reinstate 'sec-synchronizeeventset'

PR tc39#1692 removed the element-id 'sec-synchronizeeventset'. Reinstate it as an 'oldid'.
jmdyck · Oct 5, 2019 · 04d3d84 · 04d3d84
1 parent 500816c
commit 04d3d84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spec.html b/spec.html
@@ -40724,7 +40724,7 @@ <h1>Candidate Executions</h1>
  <p>An <dfn>empty candidate execution</dfn> is a candidate execution Record whose fields are empty Lists and Relations.</p>
  </emu-clause>
 
- <emu-clause id="sec-abstract-operations-for-the-memory-model">
+ <emu-clause id="sec-abstract-operations-for-the-memory-model" oldids="sec-synchronizeeventset">
  <h1>Abstract Operations for the Memory Model</h1>
  <emu-clause id="sec-event-set" aoid="EventSet">
  <h1>EventSet ( _execution_ )</h1>