Remove no longer needed workaround of sorting glob sets

Fixes #225
mozilla · Mar 29, 2019 · fb16865 · fb16865
1 parent 4620945
commit fb16865
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/path_rewriting.rs b/src/path_rewriting.rs
@@ -192,10 +192,6 @@ pub fn rewrite_paths(
 ) -> CovResultIter {
     let mut glob_builder = GlobSetBuilder::new();
 
-    // workaround for bug: https://github.com/BurntSushi/ripgrep/issues/1079
-    // Some filters foo/* are ignored when not sorted
-    to_ignore_dirs.sort_unstable();
-
     for to_ignore_dir in to_ignore_dirs {
         glob_builder.add(Glob::new(&to_ignore_dir).unwrap());
     }