Skip to content

Fix #6920 Don't ignore deps with same name as sub/foreign lib#6922

Merged
mpilgrem merged 1 commit into
masterfrom
fix6920
May 30, 2026
Merged

Fix #6920 Don't ignore deps with same name as sub/foreign lib#6922
mpilgrem merged 1 commit into
masterfrom
fix6920

Conversation

@mpilgrem
Copy link
Copy Markdown
Member

Please include the following checklist in your pull request:

  • Any changes that could be relevant to users have been recorded in ChangeLog.md.
  • The documentation has been updated, if necessary

Please also shortly describe how you tested your change. Bonus points for added tests! Test added.

@mpilgrem mpilgrem merged commit f8be5bd into master May 30, 2026
13 checks passed
@mpilgrem mpilgrem deleted the fix6920 branch May 30, 2026 00:10
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.

1 participant