Skip to content

Merge pull request #3 from gletort/epidev#4

Merged
gletort merged 1 commit intoepidevfrom
main
Jan 7, 2026
Merged

Merge pull request #3 from gletort/epidev#4
gletort merged 1 commit intoepidevfrom
main

Conversation

@gletort
Copy link
Owner

@gletort gletort commented Jan 7, 2026

Epidev

@gletort gletort merged commit 06a9886 into epidev Jan 7, 2026
1 check 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.

1 participant