Skip to content

Conversation

@goerz
Copy link
Member

@goerz goerz commented Jan 22, 2024

@goerz goerz added the breaking PRs that break compatibility label Jan 22, 2024
@goerz goerz merged commit 1556c14 into master Jan 22, 2024
@goerz goerz deleted the rename-objectives branch January 22, 2024 06:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

breaking PRs that break compatibility

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants