Re: The name gnus-cloud.el

[Eli Zaretskii]

> From: Steinar Bang <address@hidden>
> Date: Mon, 01 Jan 2018 01:48:30 +0100
> 
> >>>>> Eli Zaretskii <address@hidden>:
> 
> > I don't understand why this is relevant: since Git doesn't record
> > renames, but instead "deduces" them by comparing contents, why should
> > it matter how the file was moved?
> 
> It doesn't.
> 
> Where it breaks down is usually where the moved/renamed file is modified
> as part of the move commit, so that the hash changes.

AFAIK, the file I used as an example wasn't modified as part of the
move.