On Thu, Feb 14, 2019 at 2:17 AM Dmitry Gutov wrote: > > First of all, I think we might reasonably expect that either all files > are remote (and on the same host), or none of them are. OK. I've attached a new patch following that assumption. Thanks again.