Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
fix: typos and added a missing section #24548
If your pull request closes a GitHub issue, replace the XXXXX below with the issue number.
Thank you for creating this PR. However, since it was created, the underlying document has changed. Can you please review and resolve the current merge conflicts? It could be the changes to the underlying document are so significant that your changes are no longer relevant. If the latter is the case, it might be easier to just close this PR and create a new PR with any changes you still feel are important to make.
If you need any assistance or have questions about resolving the merge conflicts, please reply back or contact someone in the Contributors Room on Gitter.