Frederik Gladhorn bd5bad18e4 Fix typo (#3856)
* Fix typo

* [docs] Simplify wording further
2018-07-08 21:07:26 -07:00
..
2018-07-08 21:07:26 -07:00
2018-05-28 23:28:12 -07:00