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. ;)