On 1/30/23 13:46, Bruno Haible wrote:
1) bootstrap.conf specifies that 'rsync' is needed. But rsync is not needed any more by 'gnulib-tool' and by 'bootstrap' since 2018-10-07. <https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commit;h=0ddd440d18af7bb10437642f12721d83092f0bea>
Thanks, I installed your patch.
2) The problem reported in https://lists.gnu.org/archive/html/bug-gzip/2023-01/msg00005.html
I've installed your patch for that too.
