cargo: don't expose the `criterion` feature#2223

Merged

martinvonz merged 1 commit intomainfrom push-kvmpknwrxrmx

Sep 7, 2023

+1-1

Commits on Sep 7, 2023

cargo: don't expose the criterion feature
martinvonz
committed