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()); } }