Bump etc/coq-scripts from 7e68a28 to efae533#84
Open
dependabot[bot] wants to merge 1 commit intomasterfrom
Open
Bump etc/coq-scripts from 7e68a28 to efae533#84dependabot[bot] wants to merge 1 commit intomasterfrom
7e68a28 to efae533#84dependabot[bot] wants to merge 1 commit intomasterfrom
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}