Skip to content
This repository was archived by the owner on May 24, 2023. It is now read-only.

Conversation

lucacome
Copy link
Contributor

Updates for release 0.5.0

@lucacome lucacome self-assigned this Jan 11, 2022
@github-actions github-actions bot added chore Pull requests for routine tasks documentation Pull requests/issues for documentation labels Jan 11, 2022
Copy link
Contributor

@pleshakov pleshakov left a comment

Choose a reason for hiding this comment

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

@lucacome
Copy link
Contributor Author

yep, good catch @pleshakov

@lucacome lucacome force-pushed the chore/release-0.5.0 branch 4 times, most recently from 027f9bf to 894af7f Compare January 12, 2022 23:32
@lucacome lucacome force-pushed the chore/release-0.5.0 branch from 894af7f to 414d0b2 Compare January 12, 2022 23:37
@lucacome lucacome merged commit 07d9f5d into master Jan 12, 2022
@lucacome lucacome deleted the chore/release-0.5.0 branch January 12, 2022 23:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
chore Pull requests for routine tasks documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants