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

v1.8.0 #170

Merged
merged 1 commit into from
May 29, 2024
Merged

v1.8.0 #170

merged 1 commit into from
May 29, 2024

Conversation

gciotola
Copy link
Contributor

No description provided.

@gciotola gciotola requested a review from pfferrari May 29, 2024 12:23
@gciotola gciotola self-assigned this May 29, 2024
@gciotola gciotola merged commit d2d9d02 into main May 29, 2024
5 checks passed
@gciotola gciotola deleted the release branch May 29, 2024 12:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants