Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 17 Oct 2024 20:50:46 +0000 (22:50 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 17 Oct 2024 20:50:46 +0000 (22:50 +0200)
commit4ea21fc992da16380ee1bbfa67caaafd1b67505d
tree8947ebeb40d4ad95df72bb70936168fcf3f26427
parent89eacf9065e9dac7a1194ec4d8efe90e1b236e53
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