[docs] [issue18820] json.dump() ignores its 'default' option when serializing dictionary keys

[Ezio Melotti]

Ezio Melotti added the comment:

Are there already tests that cover the changes in your patch?  If not, could you add them?

----------
nosy: +ezio.melotti, pitrou, rhettinger
stage:  -> test needed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue18820>
_______________________________________