RE: [Python-Dev] dict.merge()?