Re: Wget bootstrapping problem

[darnir]

Sure, I'll propose a patch tomorrow.

On May 5, 2020 2:03:12 AM GMT+02:00, Paul Eggert <address@hidden> wrote:

On 5/4/20 4:31 PM, Darshit Shah wrote:
We could switch the order such that Wget is the default and rsync is used as a
fallback

That sounds better than reverting, no? Perhaps you could propose a patch.

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.