This repository has been archived by the owner on Oct 14, 2024. It is now read-only.

[gentle nudge] merge/critique a simple pull request? #26

Closed

egnor opened this issue Jun 14, 2024 · 0 comments

egnor commented Jun 14, 2024

here: #24

jdx closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.