Skip to content
This repository was archived by the owner on Feb 19, 2026. It is now read-only.

Release 0.12.0#3

Merged
jgiannuzzi merged 2 commits intomainfrom
publish-latest
May 17, 2023
Merged

Release 0.12.0#3
jgiannuzzi merged 2 commits intomainfrom
publish-latest

Conversation

@jgiannuzzi
Copy link
Copy Markdown

No description provided.

@jgiannuzzi jgiannuzzi requested a review from pavlovic-ivan May 17, 2023 10:23
Copy link
Copy Markdown

@pavlovic-ivan pavlovic-ivan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jgiannuzzi jgiannuzzi merged commit 20f10fd into main May 17, 2023
@jgiannuzzi jgiannuzzi deleted the publish-latest branch May 17, 2023 11: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.

2 participants