Skip to content

Small-fixes - #5

Merged
ManuelFrigerio merged 2 commits into
masterfrom
small-fixes
Sep 26, 2023
Merged

Small-fixes#5
ManuelFrigerio merged 2 commits into
masterfrom
small-fixes

Conversation

@ManuelFrigerio

Copy link
Copy Markdown

small fixes

@ManuelFrigerio
ManuelFrigerio merged commit f64d035 into master Sep 26, 2023
@ManuelFrigerio
ManuelFrigerio deleted the small-fixes branch September 26, 2023 14:25
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