Skip to content

Conversation

@mservillat
Copy link
Collaborator

replaces PR #35 (removing ivoatex updates from PR)

@mservillat mservillat merged commit 81d1404 into main Nov 6, 2024
1 check passed
@mservillat mservillat deleted the tj_edits2 branch November 6, 2024 10:20
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.

3 participants