Skip to content
Snippets Groups Projects
Commit 9b19c60c authored by Ralf Jung's avatar Ralf Jung
Browse files

declare compatibility with Rocq 9.0

parent 9c125edf
No related branches found
No related tags found
No related merge requests found
Pipeline #115005 passed