Re: [Python-Dev] Vacation and possibly a new bug