Improved the implementation of ticket #397
If a file is saved without an actual modification, no revision is created.
Authored by: numere 2019-07-25
Parent: [r602]
Child: [r604]
