Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sun, 10 Aug 2025 21:44:27 +0000 (23:44 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Sun, 10 Aug 2025 21:44:27 +0000 (23:44 +0200)
commit19e8baf27e3d044ff723a527e51efcb0b4d24f27
tree6dd8e905b4ddf90818882681e6d7a2d7cbbd1110
parent4882760d1c8ed0215d3c1db4188070fd2ca31077
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