Skip to content

Commit

Permalink
Bump rewriter from 6c69287 to a7e88a2 (#1356)
Browse files Browse the repository at this point in the history
  • Loading branch information
@dependabot @OwenConoly
dependabot[bot] authored and OwenConoly committed Nov 13, 2022
1 parent 5f80f6c commit 518cb5d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rewriter
Submodule rewriter updated 1 files
+5 −1 .github/workflows/coq.yml

0 comments on commit 518cb5d

Please sign in to comment.