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

[Merged by Bors] - Fixed typo in the docs #2450

Closed
wants to merge 1 commit into from
Closed

[Merged by Bors] - Fixed typo in the docs #2450

wants to merge 1 commit into from

Conversation

Razican
Copy link
Member

@Razican Razican commented Nov 21, 2022

This PR fixes a typo introduced in #2440

@Razican Razican added the documentation update documentation label Nov 21, 2022
@Razican Razican added this to the v0.17.0 milestone Nov 21, 2022
Copy link
Member

@jedel1043 jedel1043 left a comment

Choose a reason for hiding this comment

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

😅 Thanks!

@github-actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 93,811 93,811 0
Passed 69,620 69,620 0
Ignored 18,452 18,452 0
Failed 5,739 5,739 0
Panics 0 0 0
Conformance 74.21% 74.21% 0.00%

@raskad
Copy link
Member

raskad commented Nov 22, 2022

bors r+

bors bot pushed a commit that referenced this pull request Nov 22, 2022
This PR fixes a typo introduced in #2440
@bors
Copy link

bors bot commented Nov 22, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Fixed typo in the docs [Merged by Bors] - Fixed typo in the docs Nov 22, 2022
@bors bors bot closed this Nov 22, 2022
@bors bors bot deleted the fix_typo branch November 22, 2022 02:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation update documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants