Skip to content

[release/dev17.13] Fix a couple of options in the old options screen#11487

Merged
davidwengier merged 1 commit intorelease/dev17.13from
backport/pr-11486-to-release/dev17.13
Feb 14, 2025
Merged

[release/dev17.13] Fix a couple of options in the old options screen#11487
davidwengier merged 1 commit intorelease/dev17.13from
backport/pr-11486-to-release/dev17.13

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Feb 13, 2025

Backport of #11486 to release/dev17.13

/cc @davidwengier

Customer Impact

Regression

  • Yes
  • No

[If yes, specify when the regression was introduced. Provide the PR or commit if known.]

Testing

[How was the fix verified? How was the issue missed previously? What tests were added?]

Risk

[High/Medium/Low. Justify the indication by mentioning how risks were measured and addressed.]

@github-actions github-actions bot requested a review from a team as a code owner February 13, 2025 22:41
Copy link
Copy Markdown
Member

@davidwengier davidwengier left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ohh, I can approve my own code. This feels a lot like cheating

@davidwengier davidwengier merged commit 2405f88 into release/dev17.13 Feb 14, 2025
@davidwengier davidwengier deleted the backport/pr-11486-to-release/dev17.13 branch February 14, 2025 01:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant