Skip to content

Conversation

mlang
Copy link
Contributor

@mlang mlang commented Mar 23, 2022

No description provided.

@tarleb tarleb merged commit 6e94c8d into jgm:master Mar 23, 2022
@tarleb
Copy link
Collaborator

tarleb commented Mar 23, 2022

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