![](https://secure.gravatar.com/avatar/c0d6734f46d03eee0b0a740f91c451cf.jpg?s=120&d=mm&r=g)
April 21, 2016
10:38 p.m.
I implemented a small patch for this, over at http://bugs.python.org/issue26823 Comments and feedback are very much welcome :) -Emanuel