Skip to content

Churning on the PEP, add a script for building it#49

Merged
msullivan merged 1 commit intomainfrom
pep
Jan 23, 2026
Merged

Churning on the PEP, add a script for building it#49
msullivan merged 1 commit intomainfrom
pep

Conversation

@msullivan
Copy link
Collaborator

No description provided.

@msullivan msullivan requested review from 1st1 and dnwpark January 23, 2026 23:09
@msullivan msullivan merged commit cc45df1 into main Jan 23, 2026
2 checks passed
@msullivan msullivan deleted the pep branch January 23, 2026 23:10
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