tentative fix for #712322: modification time stamp checking failed
when DST began.
1 file changed