Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Tue, 31 Oct 2023 23:39:41 +0000 (00:39 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Tue, 31 Oct 2023 23:39:41 +0000 (00:39 +0100)
commit66bbc3ac099c8b48b907f1fc990ee1bd9cc2adc2
tree570ed389afc6320b358c4a95e4edfc40d985ffad
parentc4c8bde6af5b7ac89def60a13b9cd7e91ed64cce
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