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
..
2015-06-16 22:44:57 +01:00
2017-04-13 15:49:01 -07:00
2017-08-01 10:54:47 +09:00
2016-01-27 19:02:48 +00:00
2015-04-26 02:01:01 -04:00
2017-02-21 12:01:10 -06:00
2016-04-10 22:59:52 +01:00