mozilla/rust — pull request #10625 by huonw (2013-11-23 23:22:03+00:00)
Title: extra: improve the errors for the JSON Decoder.

Fixes #4244.