[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61187: continuous integration
From: |
Paul Eggert |
Subject: |
bug#61187: continuous integration |
Date: |
Mon, 30 Jan 2023 15:21:01 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 |
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.