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: Cross-reference two rules (refs #11041) #11042
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)
Cross reference two rules in the documentation.
Is there anything you'd like reviewers to focus on?
Nope; there's not much to see!