subject:"\[PATCH\] gnulib\-tool.py\: Follow gnulib\-tool changes, part 32."

Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 32.

2024-02-28 Thread Bruno Haible

Thanks! Applied.

[PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 32.

2024-02-28 Thread Collin Funk

commit/?id=5c51e14ad89c9210536aab61836111962b68fb4f CollinFrom 6b0a5a3203f5ef97a92b82756ee61d81103600e5 Mon Sep 17 00:00:00 2001 From: Collin Funk Date: Wed, 28 Feb 2024 16:35:36 -0800 Subject: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 32. Follow gnulib-tool change 2018-10-22 Bruno Haible Fix failure