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

2023-06-01 Thread Bruno Haible
Thanks, I pushed your patch, with this ChangeLog entry: 2023-06-01 Mitch Capper gnulib-tool.py: Fix a format string mistake. * pygnulib/GLImport.py (GLImport.execute): Fix a typo in a format string. Copyright-paperwork-exempt: Yes

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

2023-05-31 Thread Mitch Capper
Without this you may get print('Removing file %s (backup in )' % (path, backup)) ^~~~ TypeError: not all arguments converted during string formatting ./bootstrap: gnulib-tool failed ~mitch (they, them) pygnulib_minor_bug.patch Description: Bi