Sure, I'll propose a patch tomorrow. On May 5, 2020 2:03:12 AM GMT+02:00, Paul Eggert <egg...@cs.ucla.edu> 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.