URL PR 3396
Status merged
Title bpo-31373: fix undefined floating-point demotions
History
Date User Action Args
2017-09-07 18:14:01benjamin.petersonsetstatus: open -> merged
2017-09-06 22:26:56benjamin.petersonlinkissue31373 pull_requests
2017-09-06 22:26:56benjamin.petersoncreate