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

Changes by July Tikhonov <july.tikh@gmail.com>: Removed file: http://bugs.python.org/file31436/json-default-dict-keys.diff _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue18820> _______________________________________