Commit 3cdd0b362f409c159c3b73de2cb8de6e7d54e21b

Bruno Haible 2024-04-18T00:44:19

gnulib-tool.py: Use same warning style as gnulib-tool.sh. * pygnulib/GLTestDir.py (GLTestDir.execute): Prefix the "incompatible license" message with "gnulib-tool: warning: ".