Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sat, 15 Mar 2025 08:45:37 +0000 (09:45 +0100)
committerMatthias Klose <doko@ubuntu.com>
Sat, 15 Mar 2025 08:45:37 +0000 (09:45 +0100)
commitb26ef1fe1a67a893c00d380b34d6f17c85726005
tree57b68db589a5574bffc3f8ff2fe6dae73a2a7cbb
parent95796f1c2c195cf960f52260c6a3c13103b06ef5
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