Take note of file date before rotating and restore it to be identical after the rotate operation ends. (This is necessary because we can’t change the file date modification by external library.)
This is a good idea, but, the file date can be changed.
This was fixed in version 3.10