Issue #7582: Use ISO timestamp in diff.py
1 file changed