[stable-3.5] if an exclude file is deleted, skip it and remove it from internal list#4548

Merged

mgallien merged 1 commit intostable-3.5from backport/4519/stable-3.5

May 17, 2022

+16-4

Commits on May 17, 2022

if an exclude file is deleted, skip it and remove it from internal list
mgallien
committed