Hi Jakob,

On 4/30/22 15:35, Jakob Reschke wrote:
> Technically it is possible to create new versions that do not
> introduce any changes. I do not know whether this is by design or not.
> It is certainly not necessary to prevent it.
> 
> Is your design bug inquiry only about the asymmetry between "Changes"
> and "Save", where the former has a special case for "no changes", but
> the latter does not have it? Or did you expect something else to be
> different or behave differently as well?
It's the asymmetry between Changes and Save.  My experience with version
control software is that you cannot store a commit that makes no
change... why would you?

It does no harm, but it certainly was surprising.  ;)