with_alias handling missing in various criterion#735

Open

Ga68 wants to merge 1 commit intokayak:masterfrom

Ga68:criterion_with_fix

Commits on Jul 6, 2023

making with work properly with Criterion

Ga68
authored and
Ga68
committed