Fix #12939: reporting of ignored tests in rustdoc#13272
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 4, 2014
ipetkov:rustdoc-ignored-tests
Merged
Fix #12939: reporting of ignored tests in rustdoc#13272bors merged 1 commit intorust-lang:masterfrom ipetkov:rustdoc-ignored-tests
bors merged 1 commit intorust-lang:masterfrom
ipetkov:rustdoc-ignored-tests
