Skip to content

Conversation

@smorimoto
Copy link
Member

@smorimoto smorimoto requested review from hhugo and vouillon December 10, 2024 21:32
@hhugo hhugo merged commit 950b56a into master Dec 11, 2024
28 checks passed
@hhugo hhugo deleted the menhir-3.0 branch December 11, 2024 19:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants