merge-gnulib 3.12 KB