Commit 9f23e10da8512dc804ac6429cfc98dd9acd5e546

Bruno Haible 2017-09-09T01:09:45

gnulib-tool.py: follow gnulib-tool changes, part 7 Follow gnulib-tool change 2014-05-27 Sylvain Beucler <beuc@beuc.net> gnulib-tool: adjust translation wget to avoid a https redirection