mozilla/rust — pull request #10165 by dcrewi (2013-10-30 00:31:40+00:00)
Title: fix missing_doc lint on private traits

Fixes #10069.