Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

json: add "null" #1367

Closed
wants to merge 2 commits into from
Closed

json: add "null" #1367

wants to merge 2 commits into from

Conversation

kud1ing
Copy link

@kud1ing kud1ing commented Dec 21, 2011

Fixes #1366

@marijnh
Copy link
Contributor

marijnh commented Dec 21, 2011

Thanks. Do you have a name that we can add to AUTHORS, or would you prefer not to give one?

@kud1ing
Copy link
Author

kud1ing commented Dec 21, 2011

Thanks for considering this. I think, we could add a name, once i've contributed anything more significant.

@marijnh
Copy link
Contributor

marijnh commented Dec 22, 2011

We've the habit of adding names for everyone who contributes to AUTHORS, so I'd be happy to add yours. Anyway, I merged in this change.

@marijnh marijnh closed this Dec 22, 2011
@kud1ing
Copy link
Author

kud1ing commented Dec 22, 2011

If you insist: Lennart Kudling. Thanks.

Kobzol pushed a commit to Kobzol/rust that referenced this pull request Dec 30, 2024
@ehuss
Remove mention of -Zborrowck=mir with Polonius. (rust-lang#1367)
15a11ea
bors pushed a commit to rust-lang-ci/rust that referenced this pull request Jan 2, 2025
@ehuss
Remove mention of -Zborrowck=mir with Polonius. (rust-lang#1367)
dc33555
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

JSON: add support for "null"
2 participants
@kud1ing @marijnh