STINNER Victor added the comment:

The main bug was fixed by the commit 7709b4d57b433ef027a2e7e63b4cab3fc9ad910d, 
so I now close this issue.

I will open a new issue if I see new failures after the fix, like msg297037 
(which only occurred once).

----------
resolution:  -> fixed
stage:  -> resolved
status: open -> closed

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue30351>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to