Rollup of 5 pull requests#67752

Merged

bors merged 14 commits into

rust-lang:masterfrom

Dylan-DPC-zz:rollup-7f9v4nx

Dec 31, 2019

Commits on Dec 19, 2019

doc: minus (U+2212) instead of dash (U+002D) for negative infinity
tspiteri
committed