Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 17 Jul 2025 14:12:28 +0000 (16:12 +0200)
committerMatthias Klose <doko@ubuntu.com>
Thu, 17 Jul 2025 14:12:28 +0000 (16:12 +0200)
commit56f2c636fbf70eabfc57cfaade094b4eb54cb89a
tree8092b8fc5be094ffe13fa5025597894ad5adaa3e
parent67cab851a243092daafb79c0142e1df8fa5d92e3
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