]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #84256 - tspiteri:pretty-minus-zero, r=workingjubilee
authorDylan DPC <dylan.dpc@gmail.com>
Mon, 19 Apr 2021 20:00:08 +0000 (22:00 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Apr 2021 20:00:08 +0000 (22:00 +0200)
doc: use U+2212 for minus sign in floating-point -0.0 remarks

Also remove plus sign in `-0.0 == +0.0` to make it a valid expression.


Trivial merge