Skip to content

Conversation

@pierce-m
Copy link
Contributor

Fixes #138

@evanfuller
Copy link
Contributor

@jomei does this need anything else to merge? i'm interested in making use of this

@jomei jomei merged commit 430a6b9 into jomei:main Aug 17, 2023
@jomei
Copy link
Owner

jomei commented Aug 17, 2023

Nah, everything is great. Thanks!

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

Labels

None yet

3 participants