Skip to content

Fix invalid inlining#34234

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:bad_inlining
Jun 14, 2016
Merged

Fix invalid inlining#34234
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:bad_inlining

Commits

Commits on Jun 11, 2016