Skip to content

Conversation

bdeket
Copy link
Contributor

@bdeket bdeket commented Feb 7, 2025

fixes error found by DrDr as mentioned in #100

@samth samth merged commit 144a6dc into racket:master Feb 7, 2025
@samth
Copy link
Member

samth commented Feb 7, 2025

Thanks!

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.

2 participants