A.M. Kuchling <lists at amk.ca> added the comment: djmitchell noticed this patch at the bug day -- should it be committed, or just closed? ---------- nosy: +akuchling __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue2488> __________________________________