Skip to content

fix: fixed warning by replacing deprecated criterion API

Florian Naumann requested to merge bool_purist/ion:fix_criterion_warning into master

Merge request reports