Thanks, makes sense; I installed that.
- [PATCH] Respect --ignore-failed-read in file_removed_diag... Marco Nenciarini
- Re: [PATCH] Respect --ignore-failed-read in file_rem... Paul Eggert
- [PATCH] Respect --ignore-failed-read in file_removed... Marco Nenciarini
