No matches were found for subject:"\[tools\-dev\] Warn recent changes in files being deleted\: does it make sense\?"