]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #25716 - steveklabnik:remove_bad_docs, r=Gankro
authorOliver Schneider <github6541940@oli-obk.de>
Sat, 23 May 2015 17:03:20 +0000 (19:03 +0200)
committerOliver Schneider <github6541940@oli-obk.de>
Sat, 23 May 2015 17:03:20 +0000 (19:03 +0200)

Trivial merge