Skip to content

Conversation

@hsbt
Copy link
Member

@hsbt hsbt commented Oct 10, 2025

What is your fix for the problem, implemented in this PR?

From #8887

Make sure the following tasks are checked

@hsbt hsbt enabled auto-merge October 10, 2025 06:48
@hsbt hsbt force-pushed the make-update_requires_all_flag-settings branch from 90d6102 to 631a55b Compare October 10, 2025 08:43
@hsbt hsbt merged commit 69ec4a3 into master Oct 10, 2025
76 checks passed
@hsbt hsbt deleted the make-update_requires_all_flag-settings branch October 10, 2025 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants