Skip to content

Conversation

@jgarzik
Copy link
Contributor

@jgarzik jgarzik commented May 20, 2024

No description provided.

@jgarzik jgarzik added the documentation Improvements or additions to documentation label May 20, 2024
@jgarzik jgarzik self-assigned this May 20, 2024
@jgarzik jgarzik merged commit 1265d12 into main May 20, 2024
@jgarzik jgarzik deleted the copyright branch May 20, 2024 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants