Skip to content

Merge pull request #25 from openworm/master#26

Merged
pgleeson merged 2 commits intomasterfrom
development
Jun 19, 2025
Merged

Merge pull request #25 from openworm/master#26
pgleeson merged 2 commits intomasterfrom
development

Conversation

@pgleeson
Copy link
Member

master to development

@pgleeson pgleeson merged commit 1111e0f into master Jun 19, 2025
2 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.

1 participant