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: remove Type() macro #3420

Merged
merged 2 commits into from
Sep 23, 2024
Merged

Editorial: remove Type() macro #3420

merged 2 commits into from
Sep 23, 2024

Conversation

ljharb
Copy link
Member

@ljharb ljharb commented Sep 6, 2024

Closes #3339.

spec.html Outdated Show resolved Hide resolved
ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
spec.html Outdated Show resolved Hide resolved
Copy link
Member

@michaelficarra michaelficarra left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
ljharb added a commit to ljharb/ecma262 that referenced this pull request Sep 6, 2024
@ljharb ljharb added the editor call to be discussed in the next editor call label Sep 10, 2024
Copy link
Contributor

@syg syg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm % oldid comment

spec.html Show resolved Hide resolved
@michaelficarra michaelficarra added ready to merge Editors believe this PR needs no further reviews, and is ready to land. and removed editor call to be discussed in the next editor call labels Sep 19, 2024
@michaelficarra michaelficarra changed the title Editorial: remove Type() AO Editorial: remove Type() macro Sep 19, 2024
@ljharb ljharb merged commit fcd19b5 into tc39:main Sep 23, 2024
8 checks passed
@ljharb ljharb deleted the strip-types branch September 23, 2024 19:14
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.

3 participants