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

chore: update third-party licenses #22950

Merged
merged 1 commit into from
Jul 19, 2021
Merged

Conversation

sourcegraph-bot
Copy link
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