Skip to content

Optimize ObligationForest's NodeState handling.#36993

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:obligation
Nov 3, 2016
Merged

Optimize ObligationForest's NodeState handling.#36993
bors merged 1 commit intorust-lang:masterfrom
nnethercote:obligation

Commits

Commits on Nov 2, 2016