Merge branch '1.10'

main
Jordi Boggiano 4 years ago
commit 52f98fd228
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC

@ -59,7 +59,7 @@ abstract class BaseExcludeFilter
$path = $relativePath;
}
if (preg_match($pattern, $path)) {
if (@preg_match($pattern, $path)) {
$exclude = !$negate;
}
}

Loading…
Cancel
Save