Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 1 May 2025 08:40:21 +0000 (10:40 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 1 May 2025 08:40:21 +0000 (10:40 +0200)
commitbb3fb2d9a2de3e787ca38c781a741b2399ad5c35
tree00bc516073a6e5f04efde48820a0f3de6e565dae
parent6edbef857bab2f51b3dd7a07a117a1f00f2babb9
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