Skip to content

Conversation

@seisman
Copy link
Member

@seisman seisman commented Nov 13, 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 Nov 13, 2025
@seisman seisman added this to the 0.18.0 milestone Nov 13, 2025
@seisman seisman requested a review from a team November 15, 2025 04:48
Co-authored-by: Yvonne Fröhlich <94163266+yvonnefroehlich@users.noreply.github.com>
@seisman seisman removed the needs review This PR has higher priority and needs review. label Nov 16, 2025
@seisman seisman merged commit 3e2b7dd into main Nov 16, 2025
23 checks passed
@seisman seisman deleted the AliasSystem/incols branch November 16, 2025 01:59
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.

3 participants