Skip to content

bpo-31373: fix undefined floating-point demotions#3396

Merged
benjaminp merged 1 commit into
masterfrom
benjamin-undefined-downcast
Sep 7, 2017
Merged

bpo-31373: fix undefined floating-point demotions#3396
benjaminp merged 1 commit into
masterfrom
benjamin-undefined-downcast

Commits

Commits on Sep 7, 2017