• Paul Eggert's avatar
    Merge from gnulib. · 51632863
    Paul Eggert authored
    This incorporates:
    2013-08-15 warnings: minor optimization
    2013-08-15 warnings: check -Wfoo rather than -Wno-foo
    51632863
ChangeLog 396 KB