Merge from gnulib.
commit51632863c2551d06415e541235d90c66fd3e8def
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 19 Aug 2013 05:23:05 +0000 (18 22:23 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 19 Aug 2013 05:23:05 +0000 (18 22:23 -0700)
treef2b5a4fde59ad4e43a482456433ff994a15f7e34
parentdab3a8d5fe0da1fafc0143e2c780e3c6e020b705
Merge from gnulib.

This incorporates:
2013-08-15 warnings: minor optimization
2013-08-15 warnings: check -Wfoo rather than -Wno-foo
ChangeLog
m4/warnings.m4