Skip to content

remove the distro parameter #73

Merged
VincentGuyader merged 2 commits intomasterfrom
issue_58
Jul 1, 2024
Merged

remove the distro parameter #73
VincentGuyader merged 2 commits intomasterfrom
issue_58

Conversation

@VincentGuyader
Copy link
Member

No description provided.

@VincentGuyader VincentGuyader marked this pull request as draft June 30, 2024 11:47
@VincentGuyader
Copy link
Member Author

for issue #58

@VincentGuyader VincentGuyader marked this pull request as ready for review July 1, 2024 12:03
@VincentGuyader VincentGuyader merged commit 5ef486d into master Jul 1, 2024
@VincentGuyader VincentGuyader deleted the issue_58 branch July 19, 2024 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant