Skip to content

doi in description#51

Merged
jogaudard merged 1 commit into
mainfrom
next_version
Feb 9, 2026
Merged

doi in description#51
jogaudard merged 1 commit into
mainfrom
next_version

Conversation

@jogaudard

Copy link
Copy Markdown
Owner

No description provided.

@jogaudard
jogaudard merged commit c1d1cd5 into main Feb 9, 2026
6 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