Khaled Hosny 4b3a2eb1d9 Respect SOURCE_DATE_EPOCH for time stamp
For reproducible builds, check the presence of SOURCE_DATE_EPOCH
environment variable and use it for the time stamp. This affects the
head.modified (and head.created in merge.py).

See https://reproducible-builds.org/specs/source-date-epoch/
2017-10-02 11:37:00 +02:00
..
2017-08-01 10:54:47 +09:00
2017-09-15 00:58:42 -04:00
2017-09-18 13:10:03 -04:00
2017-07-25 20:35:55 +01:00