rust/rhg/src/main.rs
changeset 47951 cff41e168c25
parent 47407 6e49769b7f97
child 48075 f11f233546ce
--- a/rust/rhg/src/main.rs	Wed Feb 17 20:49:53 2021 +0100
+++ b/rust/rhg/src/main.rs	Fri Sep 03 16:32:35 2021 +0200
@@ -567,11 +567,10 @@
         unsupported.remove(supported);
     }
 
-    if let Some(ignored_list) =
-        config.get_simple_list(b"rhg", b"ignored-extensions")
+    if let Some(ignored_list) = config.get_list(b"rhg", b"ignored-extensions")
     {
         for ignored in ignored_list {
-            unsupported.remove(ignored);
+            unsupported.remove(ignored.as_slice());
         }
     }