Skip to content

cherry-pick #6600 fix(config-ui): wrong default value#6604

Merged
mintsweet merged 1 commit into
release-v0.20from
release-v0.20-auto-cherry-pick-6600
Dec 8, 2023
Merged

cherry-pick #6600 fix(config-ui): wrong default value#6604
mintsweet merged 1 commit into
release-v0.20from
release-v0.20-auto-cherry-pick-6600

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Dec 8, 2023

cherry-pick #6600 fix(config-ui): wrong default value

@github-actions
Copy link
Copy Markdown
Contributor Author

github-actions Bot commented Dec 8, 2023

🤖 this a auto create pr!cherry picked from #6600.

@github-actions github-actions Bot added bot/auto-cherry-pick auto cherry pick pr bot/auto-cherry-pick-for-release-v0.20 auto cherry pick pr for release-v0.20 labels Dec 8, 2023
@mintsweet mintsweet merged commit ace5afe into release-v0.20 Dec 8, 2023
@mintsweet mintsweet deleted the release-v0.20-auto-cherry-pick-6600 branch December 8, 2023 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot/auto-cherry-pick auto cherry pick pr bot/auto-cherry-pick-for-release-v0.20 auto cherry pick pr for release-v0.20

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants