mozilla/rust — pull request #9142 by singingboyo (2013-09-12 09:01:37+00:00)
Title: Update json::Encoder to properly encode maps.

According to extra::serialize, maps where the key and value types
are encodable should also be encodable, but extra::json only handled
maps with string keys. This updates extra::json to allow for
non-string keys.