Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #12812 - tshepang:patch-1, r=epage
contrib docs: add some conveniences - AND search terms, instead of OR - allow quick-edit, by adding a button that allows one to submit a change directly via github
- Loading branch information