Re: [PATCH] gnulib-tool.py (pygnulib) minor print warn crash fix

[Bruno Haible]

Thanks, I pushed your patch, with this ChangeLog entry:

2023-06-01  Mitch Capper  <mitch.cap...@gmail.com>

        gnulib-tool.py: Fix a format string mistake.
        * pygnulib/GLImport.py (GLImport.execute): Fix a typo in a format
        string.
        Copyright-paperwork-exempt: Yes