Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump etc/coq-scripts from
efae533
to 8ce1d5d
Bumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `efae533` to `8ce1d5d`. - [Commits](JasonGross/coq-scripts@efae533...8ce1d5d) --- updated-dependencies: - dependency-name: etc/coq-scripts dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
- Loading branch information