Skip to content

Revert "List.fold/contains simplification"#3979

Merged
dsyme merged 1 commit intomasterfrom
revert-3975-master
Nov 20, 2017
Merged

Revert "List.fold/contains simplification"#3979
dsyme merged 1 commit intomasterfrom
revert-3975-master

Commits

Commits on Nov 20, 2017