Commit 2f0f4bea3c62b9c3c39cd3ec762564c8dc0c86da
2017-09-09T14:18:56
gnulib-tool.py: follow gnulib-tool changes, part 13 Follow gnulib-tool change 2015-06-01 Pádraig Brady <P@draigBrady.com> gnulib-tool: concatenate lib_SOURCES to a single line