In article 200301112240.XAA13107@goedel.fjf.gnu.de, Frank Heckenbach frank@g-n-u.de writes
I wrote:
- Default? (I suppose off, though I think I myself would prefer on.)
There have been some votes for both sides. So, would anyone object if off is the default, and `-Wall' implies on? (Those who want the other `-Wall' warnings except this one can use `-Wall -Wno-identifier-case' then.)
Sounds fine to me.