Skip to content

Conversation

@jgarzik
Copy link
Contributor

@jgarzik jgarzik commented Sep 21, 2024

Cherry-pick further from #214

@jgarzik jgarzik added the enhancement New feature or request label Sep 21, 2024
@jgarzik jgarzik self-assigned this Sep 21, 2024
@jgarzik jgarzik merged commit b17329b into main Sep 21, 2024
4 checks passed
@jgarzik jgarzik deleted the musl-merge branch September 21, 2024 22:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants