Message305842
> I don't see this failure on Travis for a while now. Can this issue be closed?
Since the failure occurred randomly, we cannot make sure that the bug is really fixed. Usually in this case, I close the issue, but reopen it if the bug comes back.
So yes, I close the issue right now. |
|
| Date |
User |
Action |
Args |
| 2017-11-08 13:53:09 | vstinner | set | recipients:
+ vstinner, berker.peksag, martin.panter, serhiy.storchaka |
| 2017-11-08 13:53:09 | vstinner | set | messageid: <[email protected]> |
| 2017-11-08 13:53:09 | vstinner | link | issue31910 messages |
| 2017-11-08 13:53:09 | vstinner | create | |
|