Commit e321e9c3033cb6717d9dd8277c8467c5c15b76e8
2017-09-09T10:25:09
gnulib-tool.py: follow gnulib-tool changes, part 12 Follow gnulib-tool change 2015-02-03 Pádraig Brady <P@draigBrady.com> gnulib-tool: fix handling of patch(1) diagnostics