Skip to content

Rocq 9.0.0#20

Merged
Aurele-Barriere merged 6 commits intomainfrom
rocq-9
Mar 2, 2026
Merged

Rocq 9.0.0#20
Aurele-Barriere merged 6 commits intomainfrom
rocq-9

Conversation

@shilangyu
Copy link
Collaborator

@shilangyu shilangyu commented Jan 17, 2026

Waiting on LindenRegex/Warblre#6.

TODO:

  • bump Warblre ref before merge

@Aurele-Barriere Aurele-Barriere marked this pull request as ready for review March 2, 2026 09:36
@Aurele-Barriere Aurele-Barriere merged commit 4312028 into main Mar 2, 2026
1 check passed
@shilangyu shilangyu deleted the rocq-9 branch March 2, 2026 10:05
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