Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Mon, 9 Sep 2024 13:29:08 +0000 (15:29 +0200)
committerMatthias Klose <doko@ubuntu.com>
Mon, 9 Sep 2024 13:29:08 +0000 (15:29 +0200)
commitb68106603f138b91b143daaa1c28b1266d20d7aa
treef95f3e17def1d639285aab5325c8d11111ff2403
parent1eecbfaf5547c1ef34b2ca769f1ebc76e47ccb09
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java