Complete the std::time documentation to warn about the inconsistencies between OS#72836

Merged

bors merged 1 commit intorust-lang:masterfrom poliorcetics:std-time-os-specificities

Jun 19, 2020

+15

Commits on Jun 15, 2020

Complete the std::time documentation to warn about the inconsistencies between OS
poliorcetics
committed