Skip to content

License Mappings Update 2025-07-17 - #11

Merged
juliojimenez merged 2 commits into
mainfrom
license-mappings-2025-07-17
Jul 17, 2025
Merged

License Mappings Update 2025-07-17#11
juliojimenez merged 2 commits into
mainfrom
license-mappings-2025-07-17

Conversation

@juliojimenez

Copy link
Copy Markdown
Member

No description provided.

@juliojimenez juliojimenez self-assigned this Jul 17, 2025
@juliojimenez juliojimenez added enhancement dependencies Pull requests that update a dependency file labels Jul 17, 2025
@juliojimenez
juliojimenez merged commit 6d9138e into main Jul 17, 2025
1 check passed
@juliojimenez
juliojimenez deleted the license-mappings-2025-07-17 branch July 17, 2025 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant