Skip to content

Conversation

seisman
Copy link
Member

@seisman seisman commented Aug 10, 2025

Forgot to remove D="resolution-" in #4013.

Patches #4013.

@seisman seisman added this to the 0.17.0 milestone Aug 10, 2025
@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog final review call This PR requires final review and approval from a second reviewer labels Aug 10, 2025
@seisman seisman merged commit b5eff49 into main Aug 10, 2025
26 of 27 checks passed
@seisman seisman deleted the fix/select branch August 10, 2025 10:41
@seisman seisman removed the final review call This PR requires final review and approval from a second reviewer label Aug 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants