Re: [Python-Dev] [Python-checkins] Merging mailing lists