Skip to content

is_fp and is_floating_point do the same thing, remove the former#61688

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:is-floating-point
Jun 12, 2019
Merged

is_fp and is_floating_point do the same thing, remove the former#61688
bors merged 1 commit intorust-lang:masterfrom
RalfJung:is-floating-point

Commits

Commits on Jun 11, 2019