Change by Jeroen Demeyer <J.Demeyer at UGent.be>: ---------- keywords: +patch pull_requests: +12613 stage: -> patch review _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue36525> _______________________________________