![](https://secure.gravatar.com/avatar/fa0f7819f1825f596b384c19aa7dcf33.jpg?s=120&d=mm&r=g)
May 20, 2019
3:26 p.m.
Change by Jeroen Demeyer <J.Demeyer@UGent.be>: ---------- keywords: +patch pull_requests: +13354 stage: -> patch review _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue36971> _______________________________________