Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 23 Oct 2025 10:33:48 +0000 (12:33 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 23 Oct 2025 10:33:48 +0000 (12:33 +0200)
commitaf8d1d3f5cec5edaeef5144b22bb4988a4f4a444
tree473c293dd8e5817cab69167dc118899f7a423833
parentdff9008e8d1ec0c2241ba2ebdd80bbed6c768937
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