Ouch, why would one want to suppress that diagnostic? It sounds like a serious error.
- bug#25418: Proposal to quiet file size modified warning Jens Rantil
- bug#25418: Proposal to quiet file size modified war... Paul Eggert
- bug#25418: Proposal to quiet file size modified... Chevreux, Bastien
- bug#25418: Proposal to quiet file size modi... Jason Leschnik
- bug#25418: Proposal to quiet file size ... Paul Eggert
