Skip to content

Conversation

vouillon
Copy link
Member

@vouillon vouillon commented Sep 11, 2025

From a patch provided by Jane Street (maybe by @glittershark?)

@glittershark
Copy link
Contributor

From a patch provided by Jane Street (maybe by @glittershark?)

yep, this looks like the change I wrote

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