Message324080
Sorry that I've taken so long to get back to this. I've just updated the PR, and I think it's ready to go. Looks like it does need you to update your GitHub username here in the "Your Details" section of the bugtracker, though; sorry about that.
> If we can't depend on that result, do you have any suggestions?
Yes: check that 1.0 // 1/10 equals 1.0 // 0.1, and similarly for %. I've made that change in the PR. |
|
Date |
User |
Action |
Args |
2018-08-25 16:51:48 | mark.dickinson | set | recipients:
+ mark.dickinson, rhettinger, jyasskin, elias, serhiy.storchaka |
2018-08-25 16:51:48 | mark.dickinson | set | messageid: <1535215908.26.0.56676864532.issue32968@psf.upfronthosting.co.za> |
2018-08-25 16:51:48 | mark.dickinson | link | issue32968 messages |
2018-08-25 16:51:48 | mark.dickinson | create | |
|