mozilla/rust — pull request #12968 by alan-andrade (2014-03-17 05:54:26+00:00)
Title: deny missing docs, remove deprecated owned vector

Follow up of https://github.com/mozilla/rust/pull/12942#issuecomment-37774464