Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editorial: avoid "The Type of" #3410

Merged
merged 1 commit into from
Sep 5, 2024
Merged

Conversation

ljharb
Copy link
Member

@ljharb ljharb commented Aug 29, 2024

No description provided.

@ljharb ljharb requested a review from a team August 29, 2024 02:33
@ljharb ljharb requested a review from a team August 29, 2024 16:08
spec.html Show resolved Hide resolved
spec.html Show resolved Hide resolved
spec.html Outdated Show resolved Hide resolved
ljharb added a commit to ljharb/ecma262 that referenced this pull request Aug 29, 2024
spec.html Outdated Show resolved Hide resolved
ljharb added a commit to ljharb/ecma262 that referenced this pull request Aug 29, 2024
@ljharb ljharb added the editor call to be discussed in the next editor call label Sep 5, 2024
@ljharb ljharb removed the editor call to be discussed in the next editor call label Sep 5, 2024
@michaelficarra michaelficarra added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Sep 5, 2024
@ljharb ljharb merged commit afecb99 into tc39:main Sep 5, 2024
8 checks passed
@ljharb ljharb deleted the avoid-the-type-of branch September 5, 2024 23:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial change ready to merge Editors believe this PR needs no further reviews, and is ready to land.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants