Skip to content

Remove redundant "let mut" in write_graph_label#60741

Merged
bors merged 1 commit into
rust-lang:masterfrom
shiatsumat:patch-let-mut-write-graph-label
May 12, 2019
Merged

Remove redundant "let mut" in write_graph_label#60741
bors merged 1 commit into
rust-lang:masterfrom
shiatsumat:patch-let-mut-write-graph-label

Commits

Commits on May 11, 2019