Skip to content

Conversation

@thery
Copy link
Collaborator

@thery thery commented Oct 31, 2025

A line was still refering to doc

@thery thery merged commit cc7d4cc into rocq-community:master Oct 31, 2025
16 checks passed
@thery thery deleted the rocq branch October 31, 2025 10:48
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.

1 participant