Skip to content

Conversation

seisman
Copy link
Member

@seisman seisman commented Sep 20, 2025

@seisman seisman added this to the 0.17.0 milestone Sep 20, 2025
@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog needs review This PR has higher priority and needs review. labels Sep 20, 2025
@seisman seisman removed the needs review This PR has higher priority and needs review. label Sep 23, 2025
@seisman seisman merged commit 043e62d into main Sep 23, 2025
23 of 24 checks passed
@seisman seisman deleted the solar/fill-pen branch September 23, 2025 18:17
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