Skip to content

Conversation

@Pi-Cla
Copy link

@Pi-Cla Pi-Cla commented Apr 12, 2024

Resolves #958

@alecthomas alecthomas merged commit 9347b55 into alecthomas:master Apr 12, 2024
@alecthomas
Copy link
Owner

Thanks!

@Nicd Nicd mentioned this pull request Aug 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants