Re: The name gnus-cloud.el

[Andreas Schwab]

On Dez 31 2017, Óscar Fuentes <address@hidden> wrote:

> Most likely, the migration tool didn't bother to perform a `git mv
> <from> <to>' and did the equivalent of `cp <from> <to>; git rm <from>;
> git add <to>' instead.

No, that's exactly the same operation.  The problem is that commit
b8d4c8d0e9 didn't rename anything.

Andreas.

-- 
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."