Message333685
> I was surprised too. Maybe it is because that was very old PR.
Yeah, that's the most likely explanation. Maybe the CI ran tests before the final merge, or something like that? It doesn't explain why buildbots didn't complain, but it doesn't matter if such hiccup is very rare ;-) |
|
Date |
User |
Action |
Args |
2019-01-15 11:51:36 | vstinner | set | recipients:
+ vstinner, serhiy.storchaka, yan12125, miss-islington |
2019-01-15 11:51:34 | vstinner | set | messageid: <1547553094.67.0.0883185141641.issue35742@roundup.psfhosted.org> |
2019-01-15 11:51:34 | vstinner | link | issue35742 messages |
2019-01-15 11:51:34 | vstinner | create | |
|