Skip to content

Conversation

@ivany4
Copy link
Contributor

@ivany4 ivany4 commented Nov 20, 2025

Requires #36

@pelson
Copy link
Contributor

pelson commented Nov 20, 2025

Closing and reopening, in case it improves the diff view that otherwise shows the other (now merged) PR.

@pelson pelson closed this Nov 20, 2025
@pelson pelson reopened this Nov 20, 2025
@pelson pelson merged commit b0e6174 into main Nov 20, 2025
4 checks passed
@pelson pelson deleted the fix/readme branch November 20, 2025 15:32
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