Skip to content

Conversation

@danielratiu
Copy link
Member

No description provided.

@danielratiu danielratiu changed the base branch from master to maintenance/MPS-2023.2 November 13, 2024 12:25
@danielratiu danielratiu merged commit 84974d1 into maintenance/MPS-2023.2 Nov 13, 2024
1 check passed
@danielratiu danielratiu deleted the feature/enable_specification_of_forbidden_dependencies branch November 13, 2024 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants