Commit cdd7bf2e246c76e7868b53f726fda6a3a47fbf57

Bruno Haible 2017-09-09T00:49:56

gnulib-tool.py: follow gnulib-tool changes, part 4 Follow gnulib-tool change 2013-01-05 Paul Eggert <eggert@cs.ucla.edu> gnulib-tool: fix incompatibility with autopoint 0.18.2