Skip to content

Commit

Permalink
Merge pull request #64 from JasonGross/tested
Browse files Browse the repository at this point in the history 
Adapt w.r.t. coq/coq#19228. (#62)
  • Loading branch information
@JasonGross
JasonGross authored Jul 27, 2024
2 parents e1822d8 + efae473 commit f4d3d7c
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit f4d3d7c

Please sign in to comment.