Skip to content

fix: allow disabling criterion default features#12

Merged
art049 merged 2 commits intomainfrom
fix/disable-criterion-default-features
Sep 5, 2023
Merged

fix: allow disabling criterion default features#12
art049 merged 2 commits intomainfrom
fix/disable-criterion-default-features

Commits

Commits on Sep 5, 2023