Second attempt to fix #23713 based on follow-up comments in #23791.#23862

Merged

bors merged 1 commit intorust-lang:masterfrom jviereck:fix_23713_v2

Mar 31, 2015

+1-1

Commits on Mar 30, 2015

Second attempt to fix rust-lang#23713 based on follow-up comments in rust-lang#23791 .
jviereck
committed