Skip to content
This repository has been archived by the owner on Jan 22, 2025. It is now read-only.

Fix/repo #19

Merged
merged 4 commits into from
Dec 15, 2023
Merged

Fix/repo #19

merged 4 commits into from
Dec 15, 2023

Conversation

Rubilmax
Copy link
Contributor

Duplicate of #15 because merged prematurely. Pls re-approve

@MerlinEgalite MerlinEgalite merged commit 2c65b1d into main Dec 15, 2023
2 checks passed
@Rubilmax Rubilmax deleted the fix/repo branch December 18, 2023 14:27
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