Skip to content

Conversation

@mlodic
Copy link
Member

@mlodic mlodic commented Feb 14, 2025

I tried to find a way to be notified properly for these particular dependencies. I did not solve all the cases as of now but at least we have something. Opinions?

@mlodic mlodic merged commit 955e3e4 into develop Feb 14, 2025
11 checks passed
@mlodic mlodic deleted the dep_mgmt branch February 14, 2025 16:05
mlodic added a commit that referenced this pull request Feb 14, 2025
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