Skip to content

Conversation

@masterujjval
Copy link
Contributor

@masterujjval masterujjval commented Oct 2, 2023

doc: Corrected some sentences.

@christiangnrd
Copy link
Contributor

I would rename the pull request so that it better reflects the changes. Something like "Docs: Fix typos and grammar" would probably be good.

@masterujjval masterujjval changed the title fix: incorrect sentence Docs: fix typos and grammar Oct 2, 2023
@masterujjval
Copy link
Contributor Author

Why the second build is failing?

@brenhinkeller brenhinkeller added the docs This change adds or pertains to documentation label Oct 3, 2023
@masterujjval
Copy link
Contributor Author

masterujjval commented Oct 8, 2023

why my PR has not been merged?

@oscardssmith oscardssmith merged commit e81c8e3 into JuliaLang:master Oct 8, 2023
@oscardssmith
Copy link
Member

just required someone to press the button.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants