Skip to content

Conversation

@andped10
Copy link
Contributor

Constraints moved to root of repo, which breaks backward compatibility

@andped10 andped10 added the chore PR label label Sep 18, 2024
@andped10 andped10 merged commit 3a3738f into master Sep 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore PR label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants