diff -r 6961eca0b3ee -r cff41e168c25 rust/rhg/src/main.rs --- 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()); } }