Skip to content

Conversation

@Lucas-C
Copy link
Collaborator

@Lucas-C Lucas-C commented Dec 23, 2025

cf. issue #2

@Lucas-C Lucas-C force-pushed the issue-2 branch 11 times, most recently from 15a2eb9 to ee3aeb2 Compare December 23, 2025 11:37
@Lucas-C Lucas-C force-pushed the issue-2 branch 4 times, most recently from 09ad3ab to 3fbb9fb Compare December 23, 2025 12:14
@Lucas-C Lucas-C merged commit 8037802 into master Dec 23, 2025
5 checks passed
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.

2 participants