Skip to content

Conversation

seisman
Copy link
Member

@seisman seisman commented Sep 18, 2024

@seisman seisman added the maintenance Boring but important stuff for the core devs label Sep 18, 2024
@seisman seisman added this to the 0.14.0 milestone Sep 18, 2024
@seisman seisman added final review call This PR requires final review and approval from a second reviewer and removed final review call This PR requires final review and approval from a second reviewer labels Sep 18, 2024
@seisman seisman merged commit 5e5a0c6 into main Sep 19, 2024
23 checks passed
@seisman seisman deleted the gs/10.04.0 branch September 19, 2024 04:15
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant