Fix paths/paths-ignore warning that would appear unconditionally#2080
Merged
henrymercer merged 2 commits intomainfrom Jan 11, 2024
paths/paths-ignore warning that would appear unconditionally#2080