Skip to content

Issue #3360948: The "Extensions to ignore" setting should have a higher priority than "Extensions to abort search"

Merge request reports

Loading