Issue
#3360948
: The "Extensions to ignore" setting should have a higher priority than "Extensions to abort search"
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Issue #3360948: The "Extensions to ignore" setting should have a higher priority than "Extensions to abort search"
Joshua Sedler
requested to merge
issue/search404-3360948:3360948-the-extensions-to
into
2.x
May 17, 2023
Overview
0
Commits
2
Pipelines
2
Changes
2
Merge request reports
Loading