mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-27 01:04:03 +00:00
f7a15b5cd1
Rather than eagerly converting JSON, we losslessly keep it as is, and change the shape of user-submitted data at the last moment. This also allows us to remove a bunch of wrong Defaults |
||
---|---|---|
.. | ||
dev | ||
user |