Skip to content

Fix outdated predicates_of.rs comments#126340

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:fix-predicates_of-comments
Jun 12, 2024
Merged

Fix outdated predicates_of.rs comments#126340
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:fix-predicates_of-comments

Commits

Commits on Jun 12, 2024