Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Mark the inline-threshold option as deprecated and non-functional #128238

Closed
wants to merge 1 commit into from
Closed

Mark the inline-threshold option as deprecated and non-functional #128238

wants to merge 1 commit into from

Conversation

jannic
Copy link
Contributor

@jannic jannic commented Jul 26, 2024

See #124712 for details.

@rustbot
Copy link
Collaborator

rustbot commented Jul 26, 2024

r? @JohnTitor

rustbot has assigned @JohnTitor.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 26, 2024
@jannic
Copy link
Contributor Author

jannic commented Jul 26, 2024

Sorry I obviously failed to pull the latest changes before creating the merge request.

@jannic jannic closed this Jul 26, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@JohnTitor JohnTitor

Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jannic @rustbot @JohnTitor