mozilla/rust — pull request #8201 by Dretch (2013-08-01 22:54:04+00:00)
Title: Replace std::os::glob with extra::glob, which is written in rust ...

... fixing issue #6100. This also addresses #6101.