Update criterion requirement from 0.7.0 to 0.8.1#77
Closed
dependabot[bot] wants to merge 1 commit intomainfrom
Closed
Update criterion requirement from 0.7.0 to 0.8.1#77dependabot[bot] wants to merge 1 commit intomainfrom
dependabot[bot] wants to merge 1 commit intomainfrom
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}