Make some small tweaks to the full text search docs.
Review Request #940 — Created Oct. 30, 2017 and updated
Information | |
---|---|
guest8422 | |
Review Board | |
191e158... | |
Reviewers | |
demo | |
This makes a small update to cover the fact that private review requests are now indexed, and tweaks a couple other passages. Testing done: Built HTML and checked the output. Reviewed at https://reviews.reviewboard.org/r/9325/