Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 22 Jan 2025 07:58:11 +0000 (08:58 +0100)
committerMatthias Klose <doko@ubuntu.com>
Wed, 22 Jan 2025 07:58:11 +0000 (08:58 +0100)
commit5b424ba6e0f741f2cc70d5926dc0f0c738b6a777
tree69c420bd8ee8b42cbcb240963f89dd3487f42886
parent028a7f812a6172601769a6519f0c5dc8af391593
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