Skip to content

Conversation

@mxr
Copy link
Member

@mxr mxr commented Jan 20, 2025

Resolves #53

@mxr mxr merged commit 7997ffe into main Jan 20, 2025
9 checks passed
@mxr mxr deleted the rev branch January 20, 2025 21:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

No rev in local repo

3 participants