Re: GNU gnulib: gnulib-tool has become much faster

[Paul Eggert]

On 2024-04-27 10:11, Tim Rühsen wrote:
Bruno, Dmitry, Collin, thank you so much !
The runtime improvement is amazing :)

Likewise. This is very much appreciated, especially on some of the 
trusty but old and slow hosts that I develop on.