[docs] Minor wording changes to drain_filter docs#48438
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 24, 2018
Merged
[docs] Minor wording changes to drain_filter docs#48438bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
