std::time::Duration: improve _precision_ of terminology in docs#43294
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 19, 2017
std::time::Duration: improve _precision_ of terminology in docs#43294