Skip to content

Forward-port: Remove PathSelector include-based directory pre-filtering optimization - #12624

Merged
gnodet merged 1 commit into
masterfrom
forward-port/pathselector-directory-prefilter
Jul 30, 2026
Merged

Forward-port: Remove PathSelector include-based directory pre-filtering optimization#12624
gnodet merged 1 commit into
masterfrom
forward-port/pathselector-directory-prefilter

Commits

Commits on Jul 30, 2026