Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

chore: update third-party licenses#22950

Merged
github-actions[bot] merged 1 commit intomainfrom
chore/licenses-update
Jul 19, 2021
Merged

chore: update third-party licenses#22950
github-actions[bot] merged 1 commit intomainfrom
chore/licenses-update

Conversation

@sourcegraph-bot
Copy link
Copy Markdown
Contributor

This is an automated pull request generated by this run.
Learn more about our GitHub Actions for managing licenses here.

You're safe to merge this pull request when the required checks are passing.

@github-actions github-actions Bot merged commit 5db2712 into main Jul 19, 2021
@github-actions github-actions Bot deleted the chore/licenses-update branch July 19, 2021 00:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants