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

VERSION.txt: This is v0.12.0 #305

Merged
merged 1 commit into from
Jul 13, 2023
Merged

VERSION.txt: This is v0.12.0 #305

merged 1 commit into from
Jul 13, 2023

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
6 checks passed
@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.

None yet

1 participant