Change by Jeroen Demeyer <J.Demeyer at UGent.be>: ---------- nosy: +jdemeyer _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue5755> _______________________________________