Skip to content

remove trivial mk_predicates#72754

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:predicate-fold
Jun 4, 2020
Merged

remove trivial `mk_predicate`s#72754
bors merged 1 commit intorust-lang:masterfrom
lcnr:predicate-fold

Commits

Commits on May 29, 2020