On 09.10.12 00:23, Victor Stinner wrote: > Yes, the current behaviour is documented, but I consider it as a bug. > Would it be possible to change the behaviour to fix a "bug"? You should follow the deprecation procedure.