Merge from gnulib
commit209ddb1092940c65c4c684fa6d0d8c4e3c6e6bdd
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 17 Jun 2017 22:12:50 +0000 (17 15:12 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 17 Jun 2017 22:13:21 +0000 (17 15:13 -0700)
tree09280010c8531a0cda6f7b30e8b82807a712ed8f
parent4caa8d4de4cc9c84b2d49a75f24c1626aa3c3f73
Merge from gnulib

This (and my previous patch) incorporate:
2017-06-17 diffseq: port to GCC 7 with --enable-gcc-warnings
2017-06-15 gettext-h: Update comment
* lib/diffseq.h: Copy from gnulib.
lib/diffseq.h