Skip to content

don't use commit_if_ok during higher_ranked_sub#99056

Merged
bors merged 1 commit intorust-lang:masterfrom lcnr:higher_ranked_subJul 9, 2022