Editorial: Various editorial updates

Open anba opened this issue 2 years ago • 2 comments

Various editorial updates, including changes to align with ECMA-262 conventions and some editorial bug fixes.

The PR applies on top of https://github.com/tc39/ecma402/pull/826.

Aug 14 '23 12:08 anba

Any objections to merging this one? rebasing is going to be more and more of a pain as time goes on. @sffc @bakkot @FrankYFTang @ryzokuken

Jan 17 '24 15:01 ben-allen

Yes, if the editors approve, please merge; we shouldn't let PRs stay open this long

Jan 17 '24 15:01 sffc

I've merged the rebased version of this PR and https://github.com/tc39/ecma402/pull/826 via the new https://github.com/tc39/ecma402/pull/893.

May 24 '24 00:05 ben-allen