Editorial: quick fixes for recent merges#2129

Merged

ljharb merged 3 commits intotc39:masterfrom jmdyck:editorial

Aug 11, 2020

+11-10

Commits on Aug 11, 2020

Editorial: Change _set_ to _set_.[[WeakSetData]] (tc39#2129 )

jmdyck
authored and
ljharb
committed
Editorial: Misc tweaks re PR tc39#2089 (tc39#2129 )

jmdyck
authored and
ljharb
committed
Editorial: Insert blank line between productions (tc39#2129 )

jmdyck
authored and
ljharb
committed