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

VERSION.txt: This is v0.12.0#305

Merged
bmizerany merged 1 commit intomainfrom
release0.12.0
Jul 13, 2023
Merged

VERSION.txt: This is v0.12.0#305
bmizerany merged 1 commit intomainfrom
release0.12.0

Conversation

@bmizerany
Copy link
Contributor

No description provided.

@bmizerany bmizerany marked this pull request as ready for review July 13, 2023 19:58
@bmizerany bmizerany merged commit 78939e2 into main Jul 13, 2023
@bmizerany bmizerany deleted the release0.12.0 branch July 13, 2023 20:01
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.

1 participant

Comments