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.

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

internal: Update JsonProject to include optional fields #16558

Merged
merged 1 commit into from
Feb 14, 2024

Conversation

Wilfred
Copy link
Contributor

@Wilfred Wilfred commented Feb 13, 2024

These were documented in #15014 in the manual, but this definition wasn't updated to match.

These were documented in rust-lang#15014 in the manual, but this definition
wasn't updated to match.
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Feb 13, 2024
@lnicola
Copy link
Member

lnicola commented Feb 14, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Feb 14, 2024

📌 Commit 931f563 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Feb 14, 2024

⌛ Testing commit 931f563 with merge 113f054...

@bors
Copy link
Collaborator

bors commented Feb 14, 2024

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 113f054 to master...

@bors bors merged commit 113f054 into rust-lang:master Feb 14, 2024
10 of 11 checks passed
@lnicola lnicola changed the title Update JsonProject to include optional fields internal: Update JsonProject to include optional fields Feb 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants