Skip to content

Update outdated repository references (fixes #87)#89

Merged
pmai merged 1 commit intomainfrom
fix/repo-location
Jan 30, 2025
Merged

Update outdated repository references (fixes #87)#89
pmai merged 1 commit intomainfrom
fix/repo-location

Conversation

@pmai
Copy link
Copy Markdown
Collaborator

@pmai pmai commented Jan 30, 2025

No description provided.

@pmai pmai added this to the 1.0-RC1 milestone Jan 30, 2025
@pmai pmai self-assigned this Jan 30, 2025
@pmai pmai merged commit f46970f into main Jan 30, 2025
@pmai pmai deleted the fix/repo-location branch January 30, 2025 23:36
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