[Python-Dev] dict() enhancement idea?

[Just van Rossum]

--16563256-0-3246876498=:9003
Content-Type: text/plain; Charset=US-ASCII
Content-Transfer-Encoding: 7bit

Just van Rossum wrote:

> I could try to make a patch if people think this is a good idea.

Hm, that took a full 15 minutes ;-) See attached. Patching the docs is probably
more work, as usual... Of course, I'll upload it to sf, but I'd like to get some
feedback here, first.

Just
--16563256-0-3246876498=:9003
Content-Type: application/octet-stream; Name="dictobject.patch"; X-Mac-Type="54455854"; X-Mac-Creator="522A6368"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; Filename="dictobject.patch"

--16563256-0-3246876498=:9003--