Skip to content

Comments

Apply replace_make_readme patch#17

Merged
mtfishman merged 1 commit intomainfrom
replace_make_readme-patch
Feb 21, 2026
Merged

Apply replace_make_readme patch#17
mtfishman merged 1 commit intomainfrom
replace_make_readme-patch

Conversation

@mtfishman
Copy link
Member

This PR applies the replace_make_readme patch.

@mtfishman mtfishman merged commit 47173a2 into main Feb 21, 2026
9 of 10 checks passed
@mtfishman mtfishman deleted the replace_make_readme-patch branch February 21, 2026 02:18
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