doc: avoid colloquialism - #12417
Closed
Trott wants to merge 1 commit into
Closed
doc: avoid colloquialism#12417Trott wants to merge 1 commit into
Trott wants to merge 1 commit into
Commits
Commits on Apr 17, 2017
- committed
