Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Docs: some typos and optimization points #11960
What is the purpose of this pull request? (put an "X" next to item)
[x] Documentation update
What changes did you make? (Give an overview)
fix some typos and optimization points
Is there anything you'd like reviewers to focus on?
Both of them should remove default tag.